{"entities":{"Q6103020":{"pageid":13237327,"ns":120,"title":"Item:Q6103020","lastrevid":47856373,"modified":"2026-01-02T21:43:25Z","type":"item","id":"Q6103020","labels":{"en":{"language":"en","value":"On correctness of normal logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691345"}},"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":"Q6103020$61883FF3-B43B-4C9C-B6B9-82F33D28499B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36f1a66f75f8f10bb27914160b09624dda223da5","datavalue":{"value":{"text":"On correctness of normal logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6103020$E3BC3BD8-7451-49A3-86D6-C187D842569F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c30ccadccc3a2a7429565d0f6d503736bfdd245","datavalue":{"value":"1522.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103020$29DC8E5F-9412-4A13-8894-81B1DB0179EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55eb285a942471340edb661a9894b6d1ad1feb0c","datavalue":{"value":"10.1007/978-3-031-16767-6_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103020$F8A19067-8603-486C-A0E9-B2DE66C7217D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aca37643c25c4f7a18b2bf47f8e6a1980c00131e","datavalue":{"value":{"entity-type":"item","numeric-id":511026,"id":"Q511026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103020$73606423-15AE-4E4A-891E-9B3171D4CF78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103020$FA1C8DD6-F553-48FC-AF46-8B6EC2463A94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6103020$0B6C0D15-ED9F-4303-95A0-B6597BB442FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103020$F4DDDA89-1FC4-473C-8610-0FCD73617D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103020$E0395B76-ACED-4E9D-AEBB-3A1B5D2B19F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a78c3a54c5243c189376aaa8aa53e2244ce614d","datavalue":{"value":"7691345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103020$31BD429B-33BD-44D8-8B13-F57091726707","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103020$5467D8B9-67BF-4166-989B-47D517D10552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103020$5703D9FE-8ED8-48C0-B891-66A02F4EBD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103020$528B3B55-72AA-47C3-B0FF-6FC01377889D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7b11535006f7a748d3015b32ce50ccc138482c1","datavalue":{"value":"Kunen semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103020$557AA6C4-0A30-42CE-AB7A-2B8824728BED","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":"Q6103020$BAE3458C-CC4B-426A-868F-71A2205927F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02eeb10cb50a02d090ad395a3c2c363c71340d2e","datavalue":{"value":{"entity-type":"item","numeric-id":4305624,"id":"Q4305624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103020$C20CBDDE-2AAA-4546-94F1-733AC144BD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"920dc790438762b9b704f4cfa4d3e197cb917db9","datavalue":{"value":{"entity-type":"item","numeric-id":4318616,"id":"Q4318616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103020$2E81C5E7-623A-4FC5-8471-C52A5C752CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e18bf50a96e97b3f28bd440dbf1fd833aa8290","datavalue":{"value":{"entity-type":"item","numeric-id":1346220,"id":"Q1346220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103020$9FE22CDC-1284-47AA-AC14-A79E48A9F3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b36e4febcd796add46708903929a61db8ea92ff","datavalue":{"value":{"entity-type":"item","numeric-id":3129497,"id":"Q3129497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103020$4DCA62F7-F681-48AB-9E7B-522AFFA62282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26126f876d4c6d7688c2d6c268f25eb029e7a268","datavalue":{"value":{"entity-type":"item","numeric-id":5277919,"id":"Q5277919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103020$F2869F0A-4AFE-47F8-9F0F-770C97503E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"504fc90221d28e93ce775118fc3d8a26bdc303d8","datavalue":{"value":{"entity-type":"item","numeric-id":4603427,"id":"Q4603427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103020$49E7EE76-5E5B-4E95-96F1-71A9C9EC79D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"435bc9807b977bfcc63e791650699d9d460c5a6c","datavalue":{"value":{"entity-type":"item","numeric-id":751309,"id":"Q751309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103020$8771FED6-04B2-4272-8FBB-B45F5C4B4EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07031ee71c40306176d9882eb83a4e5adafbf6e","datavalue":{"value":{"entity-type":"item","numeric-id":5715449,"id":"Q5715449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103020$13BA2509-20BE-495B-B37A-221DB6878D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dee7025716912ab8fcdca9ade0a2de83358cb20","datavalue":{"value":{"entity-type":"item","numeric-id":4275260,"id":"Q4275260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103020$C4834540-8BD4-4348-996F-51A9D9576490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a758190ac23ff7b3dba8858d2a10f4c2ab5bf229","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103020$AEE2AEB0-8163-4403-8601-3ADE47C8C5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903f9f52eef04d94cfa524ca594f47f356bcbc56","datavalue":{"value":{"entity-type":"item","numeric-id":3983121,"id":"Q3983121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103020$0551E12D-A602-44B1-B5F2-6E1410B082B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34af38d5111b224227bb34c206e67304c54c4735","datavalue":{"value":{"entity-type":"item","numeric-id":3802588,"id":"Q3802588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103020$A7A64F3A-9B2B-43DE-8B8D-000EE29443AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103020$8B43A1EE-3A8C-4F7C-B243-811F3E4C7EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db5c740654841c88eff53691dabd54ddd6dabcf","datavalue":{"value":{"entity-type":"item","numeric-id":3998267,"id":"Q3998267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103020$D7C717BF-9EF0-49C3-B5BC-2DF580569B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b2784184dd3750afe242ed3f86509e54d5455f","datavalue":{"value":{"entity-type":"item","numeric-id":3718124,"id":"Q3718124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103020$D597BB3E-8C31-45F5-82B9-FEF755965DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afdff41fd5d71d26f9109f72430ab1e068f99f9f","datavalue":{"value":{"entity-type":"item","numeric-id":3837741,"id":"Q3837741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103020$54A70ABA-DB9D-4895-9825-8B1E5680A276","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37653d54316d2263e1b7b87febae44b0c60c1957","datavalue":{"value":{"entity-type":"item","numeric-id":5715449,"id":"Q5715449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bca32b3d352ffa77c561ceaa4f521d9e791f1a12","datavalue":{"value":{"amount":"+0.8202297687530518","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":"Q6103020$015B4E95-FF64-4EE6-9C16-ABA366EAF81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4dc3de2200f279f7b3e8d96bb9ae73d0ded0cb1","datavalue":{"value":{"entity-type":"item","numeric-id":4275260,"id":"Q4275260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"506383f7436bfa10debce1235b33ea46c2cc4fd2","datavalue":{"value":{"amount":"+0.8141909837722778","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":"Q6103020$3CDC82A2-2A0D-423A-9FAB-98C24371BC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"215424cedc3f94294c4ff39d0589f9f4e3875e08","datavalue":{"value":{"entity-type":"item","numeric-id":3975936,"id":"Q3975936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"506383f7436bfa10debce1235b33ea46c2cc4fd2","datavalue":{"value":{"amount":"+0.8141909837722778","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":"Q6103020$4F810810-53DB-4561-B180-B0863B3E06E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7eefeaa99376282417663dec7df958cf284870","datavalue":{"value":{"entity-type":"item","numeric-id":4736519,"id":"Q4736519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43c55f0d49ff4e9270735293a5432b4f9c4c39c2","datavalue":{"value":{"amount":"+0.8120043277740479","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":"Q6103020$11D8E4A0-5043-400A-969B-6F1ED75C4E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a68ef1804f2d2c624b23f624627032b9a5c99ed","datavalue":{"value":{"entity-type":"item","numeric-id":4878771,"id":"Q4878771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb945215ccd4cf8953cff2e24edb096176b52b99","datavalue":{"value":{"amount":"+0.7928454279899597","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":"Q6103020$145AE696-A0E0-4C7D-A123-DA372DB189C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6103020","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6103020"}}}}}