{"entities":{"Q5277693":{"pageid":7307268,"ns":120,"title":"Item:Q5277693","lastrevid":40705779,"modified":"2025-04-04T10:23:44Z","type":"item","id":"Q5277693","labels":{"en":{"language":"en","value":"Super logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6743937"}},"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":"Q5277693$F6061D5E-0EE7-4FB5-9530-6A22AF62B877","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6eddbd06e06ed58cefdf7f05fad458b091e8e64","datavalue":{"value":{"text":"Super logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277693$1892EA93-C463-4313-BA1E-CD8BB1F1A69F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8be3d65872cb86c4e93b06159eb9bf6bded28b64","datavalue":{"value":"1367.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277693$DDAB5DD9-454B-4780-AE39-2EE928E3A6A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a6ce3a9c72234926be92e6f82a55671e1281aa9","datavalue":{"value":"10.1145/963927.963931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277693$C8EBC659-FEFC-4A63-A54D-DA2EFD819116","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6e4646ecbebe7cc2a702f0e438111a78808a9ae","datavalue":{"value":{"entity-type":"item","numeric-id":186032,"id":"Q186032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277693$1C505FBD-67D7-4E68-B790-FF44EDDA8E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98e0185f479814576fac71b9cc4a09190a9b0ba1","datavalue":{"value":{"entity-type":"item","numeric-id":1382157,"id":"Q1382157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277693$1F31F73D-7F76-4220-A302-1D83AED04F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0063046879a465ee73c49bedfbe8edc6b62b6d","datavalue":{"value":{"entity-type":"item","numeric-id":1167444,"id":"Q1167444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277693$28395F23-1F3E-4155-90F8-8AB8A339E69A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277693$641D851A-F600-4C62-9042-BA97A3CE56AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-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":"Q5277693$E0D49C3D-8901-42DD-A901-C8F963018066","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277693$5434C324-6B99-4110-92EE-F065CD310267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277693$93BC390F-538E-41D5-8B67-F65D65D98F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277693$95085B97-6C13-4182-86A1-5E49A46D2260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277693$27B8A8ED-A86F-4DE2-8822-51519AD505C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277693$5912F3BF-E193-4E6B-899C-5F8E599E49B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277693$46D5C27E-BCD9-4CD5-966D-40FDE23DC9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277693$56A3298F-EFF8-43F8-A984-61F636836245","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2992a0aea491a64a608f7f3f5372144be98b85c","datavalue":{"value":"6743937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277693$7BA4D426-E851-4622-9832-5FA4D9627996","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277693$292A0F8F-CD92-43AF-B4B1-8479DD429F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08550266bf03e3d9d539b3e6a8b8aa8b4cd04b48","datavalue":{"value":"disjunctive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277693$8869D769-49CD-41F4-A6B4-E75F3FB7AC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90e97c4c030bf1a90f257fff484714ab1dc57837","datavalue":{"value":"logics of knowledge and beliefs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277693$4E61661E-24E5-4660-8FB4-FCBF0AD72340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adba8b3158d5ac0bcf0a5ba3e6acf4b16e18aec8","datavalue":{"value":"minimal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277693$3617F5E6-C32D-4909-89BB-40313B99DC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277693$9505AB37-1C01-493B-B1F2-1ED5D9C1F2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb24ea33fdcffcfe2cfe1ca7550c5fcf59eb01da","datavalue":{"value":"semantics of logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277693$6F103532-62CE-4E67-8B3D-1D7B149CEA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d097e92166179fc1fcdd68d19b99f0cb17dcfc","datavalue":{"value":"deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277693$396EEA65-38F3-459B-BD04-3C19DEB427BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f45b20c83bfaa3c3db70f2c7d1549a37a040d6c","datavalue":{"value":"static semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277693$F281782D-EC7B-4B06-80F5-A9786A87D481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829ca1e536ef76ef92ed2ab157d10567452023f4","datavalue":{"value":"well-founded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277693$05553F90-23F4-4F2A-ACEF-588B7F861582","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":"Q5277693$D8B94AEC-F3D2-41C6-A5BC-CA6F97BF67C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1d0a1cf72fae80a4f50a1a98b785e6d28d29175","datavalue":{"value":"https://doi.org/10.1145/963927.963931","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277693$B22096DA-86E3-47BF-BA9E-675D69B7B975","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72d626e96a13f33f64d2030ec234b7e9e861c6d8","datavalue":{"value":"W2143323021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277693$D22DB4E2-2EB0-4470-A2A9-344A53574623","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"040f528fb03ade6e29bc0d3f5079edc68414941c","datavalue":{"value":"Q130880050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277693$AE447660-8EB4-4EC5-887B-E435927F9CC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2cf341ef2b5f09685e06491a6b53d3efaed006","datavalue":{"value":{"entity-type":"item","numeric-id":1356224,"id":"Q1356224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86bf5533495c64ef9292f74126f96f51f4c66b50","datavalue":{"value":{"amount":"+0.8535774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277693$0FC2BDAE-4B92-40B6-BA8A-D98B99BA99D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9736431bac3667d058c7d617461366a3df5a2f06","datavalue":{"value":{"entity-type":"item","numeric-id":1070221,"id":"Q1070221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"436e74312ac8475d0f208d2d113fbc0a44e35dac","datavalue":{"value":{"amount":"+0.845514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277693$74BBD51D-ADF7-45AA-917B-C7D2300BB2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5f023a2e0d82622a4ef785b7fdbf2a2c57db9b1","datavalue":{"value":{"entity-type":"item","numeric-id":4015484,"id":"Q4015484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"340e9c2d9ee184ecd9e34db7534a9901a6e1a3c3","datavalue":{"value":{"amount":"+0.8433393","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277693$FAD27EB2-9FDD-4A18-B86B-0C3DB883CA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2573ba025cede02d43ebfe4906e494ee8cfb0ff0","datavalue":{"value":{"entity-type":"item","numeric-id":6156638,"id":"Q6156638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1dba8c9de06fed71b3a75474a66a1329d8e6a39","datavalue":{"value":{"amount":"+0.84191316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277693$1C4504FD-C624-463D-8DC2-03989A44CC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650baf4386118cfb57e05eeef052dc63a7e2fa0b","datavalue":{"value":{"entity-type":"item","numeric-id":5449650,"id":"Q5449650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81d0fc78872c26165032733f6c656fdc3ff5fa9f","datavalue":{"value":{"amount":"+0.8406142","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277693$0420BA43-F19C-4706-835D-726E07308F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cb8ccb2db025cd5f95d6bdad251ea8197ea203b","datavalue":{"value":{"entity-type":"item","numeric-id":3804231,"id":"Q3804231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f2d385eeba24d5cf2753245bb85e29389cd2e46","datavalue":{"value":{"amount":"+0.84041685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277693$9CC0AAA2-C92B-4DF5-B110-0DAA76C6B681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"859ebd5d13c6474a7b6b00d78a20e31885cd87e4","datavalue":{"value":{"entity-type":"item","numeric-id":4692331,"id":"Q4692331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f2d385eeba24d5cf2753245bb85e29389cd2e46","datavalue":{"value":{"amount":"+0.84041685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277693$1EC7B5C2-0F71-4379-B7BF-27047D7B1AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02325702ebad2802daa67fa38bc2cb83341ce3c3","datavalue":{"value":{"entity-type":"item","numeric-id":3983044,"id":"Q3983044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2018f2f9280cf09b87889411dc9d534443598dd5","datavalue":{"value":{"amount":"+0.8383835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277693$25255E54-428B-4E44-BB1C-27F3064365F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86bb84870d00c37a5a2a73f098d13bcaba97e468","datavalue":{"value":{"entity-type":"item","numeric-id":4815031,"id":"Q4815031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e7eedef1bbfd541013a765d158a20e40d5066a5","datavalue":{"value":{"amount":"+0.83800167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277693$8D542B41-65CA-4B2D-ADE8-5A3C2E52E1EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277693","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277693"}}}}}