{"entities":{"Q3742761":{"pageid":5772667,"ns":120,"title":"Item:Q3742761","lastrevid":50939792,"modified":"2026-01-15T20:35:12Z","type":"item","id":"Q3742761","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3978439"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3742761$761F5279-3DA5-4F0F-86F5-1B8A36A718DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdc9d201f0faeae2743776ea6c427bf7cf9d2d92","datavalue":{"value":"0605.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3742761$FA5EB889-6A9D-49D1-9223-741E1BC50898","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32c13414e2e9fe70ae35bf1219d16c73b3483198","datavalue":{"value":{"entity-type":"item","numeric-id":264990,"id":"Q264990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3742761$89FB7884-CCF7-4566-8B63-10ACAD3F0C6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3742761$BC10490E-7A49-411B-8FE0-01ADCC41F717","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3742761$E4C2F452-0056-44C4-A8DE-5EAFC6F134FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"931173a0c4183f35abcb9b18256676415dcd2250","datavalue":{"value":"3978439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3742761$4ADBEDFE-8AB0-4419-838D-57376F1E6BB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742761$7E5522D4-21D7-4057-AACC-CB3FEC186EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742761$5DB54240-CFB9-4AE8-ABA4-574C0575D326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b47d11a3cd31464793001ebdb2d88cbdb61531cd","datavalue":{"value":"abstract interpretation principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742761$504CC882-DBC6-437F-BEE7-F89FDFCF9262","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3742761$F6594DA7-9A43-4C2D-A586-84D877DD2C59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f6264312a1027b1b5e1080ad2d88147897e010","datavalue":{"value":{"entity-type":"item","numeric-id":4499243,"id":"Q4499243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9da3ce2c54989a4df8cb39c1e05fd0d9e4eb53c1","datavalue":{"value":{"amount":"+0.9037628","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3742761$9B5D6AF5-1530-48F6-8264-3DC7E5727B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75e0beb13f2a57e18bd945bb12f766a141166fef","datavalue":{"value":{"entity-type":"item","numeric-id":1887175,"id":"Q1887175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9da3ce2c54989a4df8cb39c1e05fd0d9e4eb53c1","datavalue":{"value":{"amount":"+0.9037628","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3742761$B334E44F-DA61-4247-9C56-A0A290E2955C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60838d350036cfd4f4e4bf593a666dc1ab1dc48c","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa703aa42ce0edd948bbc7b597a67b03a3ab4b54","datavalue":{"value":{"amount":"+0.9035391","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3742761$E0001432-1556-4B4F-A30A-57923C50E27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd49c9a46bf633252e6b955cee3bd0a1f2a8122","datavalue":{"value":{"entity-type":"item","numeric-id":5748872,"id":"Q5748872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"373646227ccba47dea0a5e90e424b2df86244e7c","datavalue":{"value":{"amount":"+0.90128696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3742761$8AA49C9B-4DD2-45C9-AAD3-E692E9F686BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094a0110cb5d47483681620b12c3a0b405285499","datavalue":{"value":{"entity-type":"item","numeric-id":3201751,"id":"Q3201751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc54fe0cded32dacb789f6ff03f2f5ceb0382187","datavalue":{"value":{"amount":"+0.8968838","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3742761$6F46D243-40D8-4833-BC87-E569080280B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a6cee3b595049e8201b5f7273869acc0e1496b","datavalue":{"value":{"entity-type":"item","numeric-id":2767031,"id":"Q2767031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7ab462c2773f969ad933a85d96ce2a77ad414ff","datavalue":{"value":{"amount":"+0.89098114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3742761$5C256CE4-EA54-4FD3-B4AA-222318AEDE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"848da05a99285d925ab731398be6834607519411","datavalue":{"value":{"entity-type":"item","numeric-id":4539625,"id":"Q4539625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87bbf378fa6167824ede47609743d038badd96a5","datavalue":{"value":{"amount":"+0.8842521","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3742761$9E7487C2-3B3E-44BF-8C39-31E750A4337B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd2774a3ca196ccddeb23f5a1832890dd92b4783","datavalue":{"value":{"entity-type":"item","numeric-id":4424850,"id":"Q4424850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ccd7cf5cb1b727328f81450c8a5cc8fdea5dc77","datavalue":{"value":{"amount":"+0.8808131","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3742761$9BE21A4E-5ABA-49BD-8F5F-55DDE7A21734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd39c23d333d50a85c9612566f870f4a9dee8c99","datavalue":{"value":{"entity-type":"item","numeric-id":1318725,"id":"Q1318725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a29d4bccb62643bca681e2c7f6e508999d9dde9b","datavalue":{"value":{"amount":"+0.8794988","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3742761$7A0CF448-2E21-41CD-824D-D2C65DE5E1B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3742761","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3742761"}}}}}