{"entities":{"Q5482275":{"pageid":7511835,"ns":120,"title":"Item:Q5482275","lastrevid":49904047,"modified":"2026-01-11T21:53:11Z","type":"item","id":"Q5482275","labels":{"en":{"language":"en","value":"A three-valued semantics for logic programmers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5049773"}},"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":"Q5482275$1E5D4E3D-B855-49E2-BFE1-52AFBDCE2BB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec09eeea24d4304d8e8804c1fbf45cc2f3de046a","datavalue":{"value":{"text":"A three-valued semantics for logic programmers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5482275$8A0BE8C2-9704-408F-B480-28B33179C662","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"665825e3a61feaf46214aa89c78f33d9cc9168fb","datavalue":{"value":"1122.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5482275$33515708-15C8-4CFC-ADDA-38CBAEAB1885","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4094a4dfe03034449c0eccd2e127f2c889cf16d9","datavalue":{"value":"10.1017/S1471068406002742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5482275$FFFF6ECD-DB40-4E4F-9272-5BEAB3724069","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81ccf9d78b0c8f713e5b63ff370a3dceedb18fbe","datavalue":{"value":{"entity-type":"item","numeric-id":808235,"id":"Q808235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5482275$1EDB05F7-4EFD-4F09-A781-1493335B5E12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5482275$F1342ABE-9B95-4A9F-9AED-88F1229C41BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63da72b0317302272e80c03c7cc4dfd35a3b574f","datavalue":{"value":{"time":"+2006-08-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":"Q5482275$89263378-7EE3-41C8-8ACA-4B3F6DBAF79E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5482275$223B4E75-4A9A-405A-8523-900DDE0C21B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5482275$76C0E991-518D-4ECC-9123-4BC2C4A638C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f90e8a89af148df783cee3db8b0e79e6d3c61eb3","datavalue":{"value":"5049773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5482275$371C0A62-A9C4-4B25-9DB6-625522ACD6F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a33bfb266517f37c2893982b2b0f9fde5f7330a","datavalue":{"value":"models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5482275$1610B29D-2F85-4062-AD67-ECD4FA028252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cc7967051285bd8c49a26c21a6b6009cbbb8e8d","datavalue":{"value":"immediate consequence operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5482275$0467B3EE-2211-4690-B35B-AB685DD7A230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b849cda0caf5eb2a328cd61c6bcf580834f2b323","datavalue":{"value":"sldnf resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5482275$852368C4-9713-428A-933A-A5F424D78895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5482275$84629DA8-59E6-4D65-A64B-2E1AAD458A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5482275$7C2C1241-A671-439A-B3C9-EFD8276EED65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"542bb04d1dc2d8a0bfa777796b90cf5720a07472","datavalue":{"value":"declarative debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q5482275$A925C319-ACE4-4D5E-9284-442A883A3F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab6c6c68e39eb8b2d017cf81aebf1cf1906d3f7","datavalue":{"value":"inadmissibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5482275$646BEB4B-6326-47D5-882C-2A7994746E89","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"dd007d1edd9b0462c59ecaab112271796d2d88f3","datavalue":{"value":"Q114116309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5482275$51DADECC-F72D-4EC3-A89D-3D42007D5CB0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f900c00b9c1039bd7128859b5e56ec82deed0417","datavalue":{"value":{"entity-type":"item","numeric-id":20342,"id":"Q20342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5482275$26EDF91E-AC1E-48EF-9AF8-AAB5D7497FF1","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":"Q5482275$6F74B20A-CF2E-4B40-A447-80C453E1CB39","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0356c80e14b8710a7c22a5ce411c6e66a0499414","datavalue":{"value":{"entity-type":"item","numeric-id":753474,"id":"Q753474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ad17389dd2e021848803a43438272c77e977a44","datavalue":{"value":{"amount":"+0.8330380320549011","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":"Q5482275$F8624ADA-267C-4E55-9456-05E95DED5814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597d0457517b42418b494156a76d5bb49d8a0ec5","datavalue":{"value":{"entity-type":"item","numeric-id":2933087,"id":"Q2933087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f5aff40a8ff06e9fd5423bb8a01eaf5129d27f5","datavalue":{"value":{"amount":"+0.8176835775375366","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":"Q5482275$BE75F907-B992-41A9-B91A-3674D68689CE","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":"f74dbdfa529c4c3aad1379741626f204464e35ad","datavalue":{"value":{"amount":"+0.8078672885894775","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":"Q5482275$5BD3A2D9-B7BB-4FE5-91BE-24B6156207C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ae94427beaa1dc921eaa4b0e6854fb0f47661f1","datavalue":{"value":{"entity-type":"item","numeric-id":3334069,"id":"Q3334069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f74dbdfa529c4c3aad1379741626f204464e35ad","datavalue":{"value":{"amount":"+0.8078672885894775","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":"Q5482275$0FDCDC1B-2ED0-4AAE-B64D-7FE38E3A2297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"515f501283c74164fc702f364060f65f735999ea","datavalue":{"value":{"entity-type":"item","numeric-id":3129509,"id":"Q3129509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"509c1d24a6aedfb0552e55e1b38bbe84edb59fd5","datavalue":{"value":{"amount":"+0.7942789793014526","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":"Q5482275$EA8B9324-E7CE-480F-85AE-CD2691068122","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5482275","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5482275"}}}}}