{"entities":{"Q3125900":{"pageid":3136616,"ns":120,"title":"Item:Q3125900","lastrevid":46721355,"modified":"2025-12-25T11:30:39Z","type":"item","id":"Q3125900","labels":{"en":{"language":"en","value":"Analysis of residuating logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 993578"}},"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":"Q3125900$F0C6900B-3EB9-41D6-9CB7-12704003DB07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d77d7197f0163539773170a3c7cb20d0e7eac69","datavalue":{"value":{"text":"Analysis of residuating logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3125900$131A1172-2424-49DC-AF7D-0857625AF830","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f25babb04a050efd2aba688e09ad182e7b8282d","datavalue":{"value":"0866.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3125900$CA37C1BB-E71E-4A4B-9792-01205CD36349","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0fa6dc51969bef3cdda21c14b17bb43c63de3b4","datavalue":{"value":"10.1016/0743-1066(94)00105-F","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3125900$22A362C3-4A6A-4709-9240-21863236B57F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"284a0a3d9b0aa1479b8d064647908d17d9971b50","datavalue":{"value":{"entity-type":"item","numeric-id":293291,"id":"Q293291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3125900$795E94CB-4177-4B88-AEBB-9C3D20199C9C","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":"Q3125900$ABB25D30-F939-450A-97A0-A5A310D4C76F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d35759bb23877d35b31fb6a78438bab395bd24db","datavalue":{"value":{"time":"+1997-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3125900$FC098F91-4BDC-442C-AFE6-D0EE6AF36DA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3125900$93A259B2-ABCA-43E2-8F24-5EE0C33EB182","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6be24859eac4faa150dd749b626408b649aec775","datavalue":{"value":"993578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3125900$BA1A5BD1-F2E1-41F4-8631-4B4A5533EB16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f98a6d23e6dedf247d44051611978feaaec2e022","datavalue":{"value":"residuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3125900$19C3DC86-3F60-4D75-96B7-D5973788EAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44fd930476b90729c3eb418031858ac6a215b05f","datavalue":{"value":"logic programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3125900$462C6DDE-519A-4009-B8E1-9DF1161AD135","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":"Q3125900$C60E5744-9F11-46E1-99D6-30697110A8D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0f3dd0c8bff21d236cb8d39996cbd9b6257c224","datavalue":{"value":{"entity-type":"item","numeric-id":1853170,"id":"Q1853170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcfca522215556d15bb035e8a2dd452a348d5834","datavalue":{"value":{"amount":"+0.7563666701316833","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":"Q3125900$8086B7B8-D54B-400E-8148-9A8356CE6328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"059f7a0eb0b5b59515fba66c73b2cc098398837d","datavalue":{"value":{"entity-type":"item","numeric-id":4784882,"id":"Q4784882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc7927dcbcd7a6562057dbe371fb082925e7286c","datavalue":{"value":{"amount":"+0.7307546734809875","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":"Q3125900$A0696065-90AC-46D8-8E74-6C57F784C642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4fb17fed1f57fa7d8432f42bf8d53a43188ca1","datavalue":{"value":{"entity-type":"item","numeric-id":4700442,"id":"Q4700442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3d266f432482739b23bc6ea4ce84df09994892c","datavalue":{"value":{"amount":"+0.7181030511856079","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":"Q3125900$2DD44775-F9E4-414D-83E6-12C737D89A70","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":"20d4450fb4a7b6e591d6400d1cd1da98edf1771e","datavalue":{"value":{"amount":"+0.7149617671966553","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":"Q3125900$4377E076-7F38-4A4D-8604-22CBED5926E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3125900","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3125900"}}}}}