{"entities":{"Q3988059":{"pageid":6017917,"ns":120,"title":"Item:Q3988059","lastrevid":81333974,"modified":"2026-05-06T18:16:34Z","type":"item","id":"Q3988059","labels":{"en":{"language":"en","value":"A Complete Axiomatization of the Three valued Completion of Logic Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 32047"}},"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":"Q3988059$8A5F213E-13F3-41DE-B4BC-3DF8239F0062","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"924e197e4ae28d5f8fef5b21825fd0836235e19f","datavalue":{"value":{"text":"A Complete Axiomatization of the Three valued Completion of Logic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3988059$FD03F985-0093-498F-9409-53FD8B67E886","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ea1f7b4227b673668b26fe1b6b376f9d3b751fc","datavalue":{"value":"0738.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988059$79591080-6379-4D54-A27C-1E9F76D43A0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1069c9b18f7ef741abbae0fb8fe630647a61a8d4","datavalue":{"value":{"entity-type":"item","numeric-id":555780,"id":"Q555780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3988059$57861E03-F9FF-43CF-97D9-258283911B82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3988059$CAD458B0-8C01-4884-B05C-3E58C7A8667E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee532d25edda5e8bf6fa19b533317a053600a390","datavalue":{"value":"https://boris.unibe.ch/115273/1/1-6-811.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3988059$35E5C635-0B70-4FF3-976F-65E9A300BF9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988059$F6AC1B4D-47A0-4D4E-B42F-9FE56AC1B5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988059$1356E684-DD41-4594-8564-5489331703EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fce1c96eaeadea3c6d1b0d676c817188d3c62d3","datavalue":{"value":"32047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988059$20F40F5E-F8D7-4032-A5C6-1D96D21AB0AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"812bcc0fcd3fd2d0cbacb2b0ab77949a7afab4be","datavalue":{"value":"SLDNF-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988059$BA679B5E-8926-4992-9ED0-3D66A3D186CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9774c3f67d416a6c8463ab2f991bf6eb18e479","datavalue":{"value":"three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988059$478271F2-E1A7-4E78-B601-35A14A34E0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988059$7FA52C4B-11FE-4765-937E-A9943364ABDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06b1625cec1e42314487cc2a54cf2f303280ded","datavalue":{"value":"negation as failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988059$D96CF5AA-3CDC-4AE7-B8C9-560AE7B8C0AC","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":"Q3988059$340269EA-FC30-4368-9CBF-B91A8A14180C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a35a194f32bae3432615253102eaaa379deedce","datavalue":{"value":"W2116554503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988059$BA3BE857-FAA6-47CB-AAB4-2D4EE664AEBA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c63da34a60aa0d0a9f384a7df0995537b377fbee","datavalue":{"value":"10.1093/LOGCOM/1.6.811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988059$44845944-3F05-4CB6-B6FD-46D59E46B887","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3988059$3D6D56D2-6131-478D-8901-57AF5334110C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32030d36169c0a10670a8aac096ad1ded528f99b","datavalue":{"value":{"entity-type":"item","numeric-id":689290,"id":"Q689290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bdd3f3fe9f709fbf1f5b4bc38a510024eace964","datavalue":{"value":{"amount":"+0.8504799008369446","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":"Q3988059$43F278BD-9718-468C-B268-D2A08EFE50AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba17f946120dde62b5a9d8694354763163071c71","datavalue":{"value":{"entity-type":"item","numeric-id":3991300,"id":"Q3991300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bdd3f3fe9f709fbf1f5b4bc38a510024eace964","datavalue":{"value":{"amount":"+0.8504799008369446","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":"Q3988059$419B3877-32D9-458A-A88D-AF90E43456B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2720d3419f767824032b2999cf10efe9bdde3e44","datavalue":{"value":{"entity-type":"item","numeric-id":671511,"id":"Q671511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebcd23b2db33dce09acc1b720aabc00d9a0c229e","datavalue":{"value":{"amount":"+0.8313197493553162","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":"Q3988059$DAB558B8-C2CC-476E-B800-6CC00B22BEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ecc62da2baf7dcc1ce0f207f1a460233baca30a","datavalue":{"value":{"entity-type":"item","numeric-id":751309,"id":"Q751309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef2a34f84aa919fa4edbfd549c6be76dcd5b4e4b","datavalue":{"value":{"amount":"+0.8284744024276733","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":"Q3988059$9390DC5A-B0DA-4BB0-9BB5-DF728EDF07DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61c7ba7446735bff345ffa608784cd46940cdd09","datavalue":{"value":{"entity-type":"item","numeric-id":1193863,"id":"Q1193863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cc38011d934ce53eacd7571954870209af9e809","datavalue":{"value":{"amount":"+0.8268634080886841","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":"Q3988059$025407B5-52B1-45E5-825B-CD063940E811","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Complete Axiomatization of the Three valued Completion of Logic Programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Complete_Axiomatization_of_the_Three_valued_Completion_of_Logic_Programs"}}}}}