{"entities":{"Q2767031":{"pageid":2777770,"ns":120,"title":"Item:Q2767031","lastrevid":47731936,"modified":"2026-01-02T13:37:51Z","type":"item","id":"Q2767031","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1696776"}},"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":"Q2767031$4800BC85-CB53-4ECF-9DBA-B07C0F5F8330","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7481fc6865a4fdb9c448cd4ecfe3714afc798b7","datavalue":{"value":"0988.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767031$7CB1FF32-F89F-4391-8458-CE718BA580D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1aadd89b6cc4356f39201146726ac65253316123","datavalue":{"value":{"entity-type":"item","numeric-id":264546,"id":"Q264546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767031$B34F9D1D-A9F3-4B1F-BFB5-6E4FFCBE2016","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cac706b748d18db4c8ad233b94727176526ac6a7","datavalue":{"value":{"time":"+2002-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2767031$2D2E7285-4A50-49FC-9E80-177A9EFF850E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767031$0BD247A7-A490-459E-945D-C0D21F2C6628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767031$5F7DDBAF-20A0-4859-A9D5-6662A4491E98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a227ac9621ca54398f93f8d1c3bd4c1866d4889","datavalue":{"value":"1696776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767031$34956974-1F16-49FB-AE40-C1F13FADD0CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767031$F56C8E07-691B-4B2E-92B4-6BFC6C44FCB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767031$190761DE-3021-4632-A90B-9D49D4AD8269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93f6513da07f955593a72683f0b4cf7e6a48be35","datavalue":{"value":"infinite derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767031$B666F208-5161-42C0-BF7D-D3B0C2F3FBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63659cd2f684a9f446876779137f81450675dce2","datavalue":{"value":"universal termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767031$836DBAB8-A70C-4951-8FC1-7D62E1448AEB","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":"Q2767031$E9C9341A-EC2B-4DF9-B2E3-A6EBFDE315B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33754bdf5767264205b654ee9b2bc0cb23873a86","datavalue":{"value":{"entity-type":"item","numeric-id":4719375,"id":"Q4719375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"337f64b6a39a49f300b5dfdc1ab4fa134c36d2f5","datavalue":{"value":{"amount":"+0.8483672738075256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2767031$B96435B6-32E1-437C-B43E-3EB91CDE1A9C","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":"3d525a945b64e9d7e70cb2b15d644495655adf05","datavalue":{"value":{"amount":"+0.8263251185417175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2767031$A6002319-FF96-40AD-8578-31A8ABE7C476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c132360210247e3c99e83d560cb2923fc4f1afa1","datavalue":{"value":{"entity-type":"item","numeric-id":4364368,"id":"Q4364368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e70e52b4dc9dea5ef066e2457c8590d9fff5d36a","datavalue":{"value":{"amount":"+0.8144656419754028","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2767031$D9E73736-9A0D-40FF-8CA1-17F898D91886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52927b34c42b1912cc6a6ace664bfcb513a96ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5712539,"id":"Q5712539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f58b2d2b07abf78e242b6ab1d5ec476d0e1ecaa","datavalue":{"value":{"amount":"+0.8129041790962219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2767031$470EFB6D-3A7A-4EF0-9878-941C36127711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f0a802207774410f576ebc589867652a625a02b","datavalue":{"value":{"entity-type":"item","numeric-id":5941755,"id":"Q5941755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"955cc806b1f82b976a56f72846a169977f87669b","datavalue":{"value":{"amount":"+0.8093284964561462","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2767031$13031D31-B80F-48C5-B9A7-7DD0AA291B26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2767031","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2767031"}}}}}