{"entities":{"Q814436":{"pageid":816284,"ns":120,"title":"Item:Q814436","lastrevid":49778845,"modified":"2026-01-10T16:01:51Z","type":"item","id":"Q814436","labels":{"en":{"language":"en","value":"A logic programming approach to knowledge-state planning. II: The DLV\\(^\\mathcal K\\) system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5003864"}},"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":"Q814436$D9A5022F-E4CE-4F11-9C79-A2A18ACAF455","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98d56308c425d4a91a6571770a5bd18f9cd7d270","datavalue":{"value":{"text":"A logic programming approach to knowledge-state planning. II: The DLV\\(^\\mathcal K\\) system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q814436$6FC60684-F027-4FAB-9701-F21EAC816FC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6b5f3758817c6d799de2d14dc74db186e062139","datavalue":{"value":"1079.68619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814436$3469CFE3-A9AB-4007-AAC3-B8DF768CB4D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0ea456448d0aaaaa0c1721f1ed8118067ef0363","datavalue":{"value":"10.1016/S0004-3702(02)00367-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814436$5650229C-EADD-423A-8ECF-7957C42DC6C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0e2771a73d1b8d307276d7afc6997154a7082ea","datavalue":{"value":{"entity-type":"item","numeric-id":171927,"id":"Q171927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814436$27E2CFBA-D668-4520-BA0E-133D778B0687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96170c51c71d2249359c83919bdc82c0413ccbf2","datavalue":{"value":{"entity-type":"item","numeric-id":543598,"id":"Q543598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814436$9AD62563-223C-459F-9EB7-C4B9C981DE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd7123f74d155fe14856de0656eddfe851c66cd","datavalue":{"value":{"entity-type":"item","numeric-id":202113,"id":"Q202113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814436$9A948C03-A9DF-4DDE-81A5-78232CC62D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"443d5a5b70de4c2cfbb647fe7fcbac751f9208f2","datavalue":{"value":{"entity-type":"item","numeric-id":543599,"id":"Q543599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814436$C115B747-85B4-4EFD-9B9C-2D6A21ADF528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a537c8b2039e2a435edaf547d7b49dd8cb1e2ac","datavalue":{"value":{"entity-type":"item","numeric-id":814435,"id":"Q814435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814436$B80A3381-EA15-4F9D-BC6D-1ECCF36880B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814436$2A20242E-A4BE-47B4-B6A3-AC4FF1EAC0B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af1e7ee79bb7db6c59f11bd3513948628cb420f3","datavalue":{"value":{"time":"+2006-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q814436$14FE52AD-DDE1-4FCE-A344-6CF85A69D175","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814436$41DA5E09-40C0-4C72-8DA6-E4A2AB532E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814436$A277C41C-9A8B-416E-B8BA-FCB348145BAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ad3e5973a2cf65a92a253be7a38013171e15956","datavalue":{"value":"5003864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814436$7DAC5334-C6B7-4324-B5F9-277E3AB1992D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23faf9866cdabeb607e43a876cf47f5d748ca1bd","datavalue":{"value":"Deductive planning system","type":"string"},"datatype":"string"},"type":"statement","id":"Q814436$BDF0FB4C-F4ED-4D08-9F25-0F209C889B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c87c861d1b2ca771935dfd496e803bca468418de","datavalue":{"value":"Disjunctive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q814436$59D2C8C8-46BC-4D95-8121-E525CB263003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b55d730ebd71dee81ed11158db60d308dc175ef9","datavalue":{"value":"Answer sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q814436$C47656A1-CAF9-4F78-8EAE-1FC141F88549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1283cf3204d72e59e64e51152a12e503027a1c02","datavalue":{"value":"Knowledge-states","type":"string"},"datatype":"string"},"type":"statement","id":"Q814436$F9F0AEC0-45E1-4F4A-B118-D4A3C92E630D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8682c72e4159cf8b5edd1bf6deaddec0118730b7","datavalue":{"value":"Incomplete information","type":"string"},"datatype":"string"},"type":"statement","id":"Q814436$194BAC06-66E2-4F77-AC8B-7D8BB82B2465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a4172abad02775ba591b7abdd9a16ff53e7bdea","datavalue":{"value":"Conformant planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q814436$88E2B98F-CE5C-4C58-81DC-7657B0F1BCE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37bd993a5725273ee34e866b91e87a3572a84ac9","datavalue":{"value":"Secure planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q814436$5E0C22F2-2DBE-4519-BCF5-03C02A3C0D4D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814436$43F6ABDE-3A32-4069-97D3-0527213EF19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91f8109f9ed2f04d12462882caaf1148ee5f31e0","datavalue":{"value":{"entity-type":"item","numeric-id":19137,"id":"Q19137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814436$1E08E54E-954B-487A-BC54-50B0182E79B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"503825d68ed5a35842f88c1c76dc6088e21c1efa","datavalue":{"value":{"entity-type":"item","numeric-id":19763,"id":"Q19763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814436$4CEB31FB-EE1A-4040-9D4A-56AF4023DDA7","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":"Q814436$2088023D-073B-473D-BA49-FAD9E339BA9F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6b0a7b339dfced1e021fe94ff743e7b39aa97ad8","datavalue":{"value":"Q58049487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814436$CAD34197-15F2-4BCE-9F21-CFAF84548D8C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad4db1d3dbd42116620e185986a69fbfb9e425f1","datavalue":{"value":{"entity-type":"item","numeric-id":1402751,"id":"Q1402751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814436$0E11F670-FB2C-4DB0-AC39-F68413A3AE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e676edf9a61c14434cc1c48090af5e6d67c733","datavalue":{"value":{"entity-type":"item","numeric-id":4527271,"id":"Q4527271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814436$E06C8545-E9A0-4272-900F-999CCC87058D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f2ecd67081feaf022efca02615233c32c0d447","datavalue":{"value":{"entity-type":"item","numeric-id":2767106,"id":"Q2767106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814436$5CBA3727-D021-4681-BCFA-DBF560CF3F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cc98b5ea571da7c681b47bcdd93e05357a78a51","datavalue":{"value":{"entity-type":"item","numeric-id":5277695,"id":"Q5277695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814436$0C21B830-5B5A-45A6-A973-F57AB28046FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814436$A296B6DD-E337-4860-AA9C-7F8E19365530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca836191187cfe0b6a41958544cf85f8e4f0514","datavalue":{"value":{"entity-type":"item","numeric-id":4275262,"id":"Q4275262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814436$B1BAAD58-81D5-439D-A484-3BE55414C984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56b27929c399cc2d053d276191530c5ec9714a57","datavalue":{"value":{"entity-type":"item","numeric-id":1389538,"id":"Q1389538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814436$CF9234E5-3D13-4EDA-8964-51674434F2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69190f2fcb79af37af8501cc4522400218bea1c4","datavalue":{"value":{"entity-type":"item","numeric-id":4514010,"id":"Q4514010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814436$04D15414-435B-4399-9670-A5CED0068782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78d9d3c8959961badfc69e08dbf8af92c65ad16","datavalue":{"value":{"entity-type":"item","numeric-id":4702576,"id":"Q4702576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814436$B365135A-9A5C-4321-BC68-62990CFB1B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8407bb38a9c62b2bff637e1c429f7fe97a85b5e1","datavalue":{"value":{"entity-type":"item","numeric-id":4955331,"id":"Q4955331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814436$30CAD755-02D7-40FD-A069-2B18258127F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727e4fcb174852dbf7f8d1745be850a52bb6ad4b","datavalue":{"value":{"entity-type":"item","numeric-id":5633670,"id":"Q5633670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814436$7AD30691-CA1B-4B04-B41A-C6F5594DA63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f448535440866f4f8fde19aacb4d268082cff2","datavalue":{"value":{"entity-type":"item","numeric-id":1978008,"id":"Q1978008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814436$DB1F7648-5DE1-427E-89F6-A4AAE6878A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814436$98094A6F-2CB8-4186-B2DF-F80E9C551D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee217a6efb56bcafe9bc6e8f2cfa457703ce050","datavalue":{"value":{"entity-type":"item","numeric-id":4252522,"id":"Q4252522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814436$6C825951-7BEF-42C7-9A8B-E7BF40B8FA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82950ca63d2b1afbbd81eca18ecf2b20b3e8c01f","datavalue":{"value":{"entity-type":"item","numeric-id":4352535,"id":"Q4352535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814436$5CF449E8-30D2-4166-916F-F5B74D3E6413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b5fa9b205a479f7043d1f02b59d43eb670dc95","datavalue":{"value":{"entity-type":"item","numeric-id":5234711,"id":"Q5234711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814436$F7090A06-06BE-4B8E-8A92-B344DA2A4524","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"273dfbc70153116a211e409ba5847dca28d30785","datavalue":{"value":"https://doi.org/10.1016/s0004-3702(02)00367-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q814436$EC0A7946-A3EC-4714-BA50-CE45D2CD7774","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9e375b04e9949f3a6712ad593b53dbe169dd6a7","datavalue":{"value":"W1987080413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814436$FB2792CA-3F1B-41D5-89BE-44410F8E718E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e1d4b6264aa78cc0375cae7e54c936a486ebc67","datavalue":{"value":{"entity-type":"item","numeric-id":4708953,"id":"Q4708953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b295edd666056cc7fbbaf61a5e2bf73d3468a50c","datavalue":{"value":{"amount":"+0.8936440944671631","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":"Q814436$3453F754-E8FB-4FBB-8F4A-2D5F13184081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"433a9cd0b4158b72e2872867f3f7a93189d502de","datavalue":{"value":{"entity-type":"item","numeric-id":2767106,"id":"Q2767106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d623d0944aa3a12de5181ec9349678a78db4cfcc","datavalue":{"value":{"amount":"+0.8930908441543579","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":"Q814436$F931099F-D5A9-432E-88EE-6DB34E410B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"177b8773902459fb73f13651b3be13e852cc59e0","datavalue":{"value":{"entity-type":"item","numeric-id":5277695,"id":"Q5277695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4606be5653e5ba06b2f98320fca558f4df7cccd7","datavalue":{"value":{"amount":"+0.8903698921203613","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":"Q814436$932BCE56-4D9C-40F3-8282-9185735E8314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e827ac24cc9b5eabc5aa86dc617439aec7e445f5","datavalue":{"value":{"entity-type":"item","numeric-id":5425410,"id":"Q5425410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b1378065d5effd29125ad0c216c31ded6f0a80a","datavalue":{"value":{"amount":"+0.8103412985801697","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":"Q814436$58600464-D219-4FA0-B321-77D2E3EB12BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c25d3299b62302e88e3ce24ed05d4cfe8bc5edd","datavalue":{"value":{"entity-type":"item","numeric-id":543583,"id":"Q543583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ade2673d1dde3cdf3a1adfaf69616080f6643a6","datavalue":{"value":{"amount":"+0.787643313407898","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":"Q814436$20E07C2A-AE01-49EC-9BD9-8712F120112D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:814436","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:814436"}}}}}