{"entities":{"Q4938429":{"pageid":6968011,"ns":120,"title":"Item:Q4938429","lastrevid":47446204,"modified":"2026-01-01T18:51:47Z","type":"item","id":"Q4938429","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1405454"}},"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":"Q4938429$83816AAD-9CCE-433D-BE14-8382EEC1B68F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6c123c23399a2363a56ab9365497841ad2f80ef","datavalue":{"value":"0951.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938429$70B686F4-031D-4394-86C1-5C826CE4D1E2","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":"Q4938429$504EAEBA-278F-4F75-834C-1DC1751FC061","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1fc98fd02909f39fc4d6749553781a25cceed046","datavalue":{"value":{"time":"+2000-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4938429$8BBE4AD3-4B62-4072-B9EA-2816DC3CBE06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938429$DF34D8FF-F268-4A8E-A4EE-3EF4B3D96E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938429$8D4DF07D-FAA2-4AF9-AAF2-0082CB2E26FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e7d05a55eeaf3e9118fdc9da46118a4b3336fd1","datavalue":{"value":"1405454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938429$B1406956-F860-47AE-8DE6-4684F797E3E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938429$C5253D89-AD23-418F-B52E-EDA0E96D7018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938429$F4095135-C8E0-4FEC-82B7-AE97E9F58F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938429$F574562B-D0F3-4553-B8B1-C9EDB769B1E5","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":"Q4938429$42A561A3-7126-4FCF-97EA-A917F7E3B997","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"551bea2aba51008895c20e5a0292bc96b0c490fe","datavalue":{"value":{"entity-type":"item","numeric-id":1853617,"id":"Q1853617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb3de6f8a989ccdac7ba2eab1dd535937d2e6f22","datavalue":{"value":{"amount":"+0.8086177706718445","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":"Q4938429$79608FBB-EA5D-42F8-9B9D-4BD2CB2A5746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5db0746721361a73e2ffa4e95b12e802b993232e","datavalue":{"value":{"entity-type":"item","numeric-id":1605173,"id":"Q1605173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b69c6be6ef5e17c005ed5aef891f9247e6284e44","datavalue":{"value":{"amount":"+0.7948884963989258","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":"Q4938429$B838A503-2988-4443-93FC-97B577FFF425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c38b6119e4f06bec6e98b066297961e80399c803","datavalue":{"value":{"entity-type":"item","numeric-id":1346220,"id":"Q1346220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5695ad7a1a184c7c797e3befa82610ec4d945022","datavalue":{"value":{"amount":"+0.7947596907615662","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":"Q4938429$5AAC09A4-7A73-4FEF-B200-171659B6BF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b254533dbc1834873bc702e1c327348b2eb041d7","datavalue":{"value":{"entity-type":"item","numeric-id":4010369,"id":"Q4010369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5695ad7a1a184c7c797e3befa82610ec4d945022","datavalue":{"value":{"amount":"+0.7947596907615662","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":"Q4938429$4F5525A8-A601-44F7-9C4B-625E67B2610A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83a810cfe7ab3ef143b0af4b577a3d9349f1bcb0","datavalue":{"value":{"entity-type":"item","numeric-id":799098,"id":"Q799098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"125a8d3b32effac6ba22949056e97a24b067243f","datavalue":{"value":{"amount":"+0.793729841709137","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":"Q4938429$FA31167B-1F97-4C09-93FD-83585F073C7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4938429","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4938429"}}}}}