{"entities":{"Q4208853":{"pageid":6238454,"ns":120,"title":"Item:Q4208853","lastrevid":46596477,"modified":"2025-12-25T04:16:02Z","type":"item","id":"Q4208853","labels":{"en":{"language":"en","value":"Differential methods in logic program analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1205554"}},"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":"Q4208853$70CCAAF3-CAE8-4DAD-A33F-569EDD1F3162","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c69bd195425c36f19fe174f671efe26049ad0c60","datavalue":{"value":{"text":"Differential methods in logic program analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4208853$0283D0E9-81D0-4CD1-AB66-939FA6E2E4A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40b3697143e972af62d510771502554b6bcdeed6","datavalue":{"value":"0905.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4208853$2A51E5EB-186B-4E0D-AB12-38D55AA15C4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34d6f35199383e4d8e900d568ca88f68ff16e7c4","datavalue":{"value":"10.1016/S0743-1066(97)10002-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4208853$205B69DB-0F47-4C62-BD09-0EAADC647C33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1964be5c8ceef4b9238150c92361a03509499c04","datavalue":{"value":{"entity-type":"item","numeric-id":265706,"id":"Q265706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4208853$1673E514-0D61-4A29-89D7-055C29642195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bddadb379981dd0f077e58c750bc30e8d5224e7b","datavalue":{"value":{"entity-type":"item","numeric-id":672412,"id":"Q672412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4208853$D4018D8E-9D76-45C1-952C-F1796A0AF91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4208853$30C53439-6A27-4A66-A918-536AD179C6F9","rank":"normal"},{"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":"Q4208853$00944CCE-208A-4E27-B7B1-7306E6C5126B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4208853$4E345FA8-CD83-4BEF-B737-CA7DC706D360","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddcf2cc5d9dca7413af18921ff9d977f276261fc","datavalue":{"value":{"time":"+1998-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4208853$E69941D2-6178-481D-A7AE-541DFC408128","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4208853$F89EC5BA-4826-448C-AA91-E8BA64EC073D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff9ea0387005e92263c7ecef2fd48cf520ef8279","datavalue":{"value":"1205554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4208853$67B77099-3B0B-4530-B347-8C80DD69A98F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4208853$218DA2DC-8495-47D8-B6B8-2C36253BC99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44fd930476b90729c3eb418031858ac6a215b05f","datavalue":{"value":"logic programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4208853$2E6E4B69-CE8E-4E3A-807F-2AE1E0122F0C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4d14bdd7a2bbedcba6e7e66fe6f1b30c47d7392c","datavalue":{"value":"Q57665049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4208853$336A5C15-7AED-473E-AF72-FC9D87276C67","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":"Q4208853$94781A3F-1DF8-435A-840D-BD10AB6545FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71665303aa110bcf1df3c196fa362af001bfc790","datavalue":{"value":"https://doi.org/10.1016/s0743-1066(97)10002-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4208853$762210E2-D45A-4293-A6C3-C02DB972CDF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3df7ed4b1cb8bcd96dd4c7925836cdfbc832d7bc","datavalue":{"value":"W2047799617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4208853$D93FA8B7-2D7D-47A8-A73E-BE6F66560DBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7914b5e80f8c1df864d12493294d455539c6498a","datavalue":{"value":{"entity-type":"item","numeric-id":1395430,"id":"Q1395430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb5f67882e05f0a66f3944315c55b3ffbb50359b","datavalue":{"value":{"amount":"+0.8213562965393066","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":"Q4208853$BB3FCCA9-EFA0-44F6-A4E7-A7A2C9FCE5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30dd52fc6f31fd28df84cc8d3c74cc308d4fc0a2","datavalue":{"value":{"entity-type":"item","numeric-id":1426866,"id":"Q1426866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f5f393f6f16629c6eb5bb26b9975401661fb442","datavalue":{"value":{"amount":"+0.8163051605224609","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":"Q4208853$B327714B-9939-4146-9291-5BAB04BA43E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bb1c73bd243b204a17bb34a22cdb2bf7f7b5e97","datavalue":{"value":{"entity-type":"item","numeric-id":2703757,"id":"Q2703757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f76d5e5edfe0a6d92b53e8246f5f5ea4334674","datavalue":{"value":{"amount":"+0.8151267170906067","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":"Q4208853$90B243AB-FE58-4596-93E1-837A1F0A5B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1fc2375e02772988d6b8fde0d8df7094e7ceaca","datavalue":{"value":{"entity-type":"item","numeric-id":4365084,"id":"Q4365084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9930e07757bef9a69886140cc026abbdb225d008","datavalue":{"value":{"amount":"+0.7921423316001892","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":"Q4208853$09EB02E2-818E-460A-8815-6437A4380C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123a90d73e4c88d5d3a40bb810c77607909a1ac7","datavalue":{"value":{"entity-type":"item","numeric-id":4878773,"id":"Q4878773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2288816de3cdb6b04cd6d4ebf1962229e81e037d","datavalue":{"value":{"amount":"+0.7921294569969177","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":"Q4208853$453DFAAA-5249-4FF0-AE42-9F7042A6C213","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4208853","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4208853"}}}}}