{"entities":{"Q4645236":{"pageid":6674817,"ns":120,"title":"Item:Q4645236","lastrevid":53315729,"modified":"2026-01-24T17:25:40Z","type":"item","id":"Q4645236","labels":{"en":{"language":"en","value":"Situational calculus, linear connection proofs and STRIPS-like planning: an experimental comparison"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999521"}},"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":"Q4645236$53C8B8CB-FE05-48E3-AE44-7768B43EFDC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e17707a9c0267ebd9b47d9f318f6f16400a1bf1b","datavalue":{"value":{"text":"Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645236$793C3A72-8102-48BB-9772-73332D49C0DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a28fd948843eec7fa01955073f08d89d78061ea","datavalue":{"value":"1412.68223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645236$D80AF058-89EE-444A-8BE4-E34282274CAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed1cce39a37f8c6d5e30a9301e19a13339b438ee","datavalue":{"value":"10.1007/3-540-61208-4_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645236$4B00F251-CA17-40B9-A8F2-6486E24A1E26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26fe81644492c9098702ec112b02e1e3a73bd68f","datavalue":{"value":{"entity-type":"item","numeric-id":817839,"id":"Q817839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645236$A1E797F8-C915-48C2-A04D-4ABE7CFDCED4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"260f361c96cfc64e7204fcdf9876515bb18cb191","datavalue":{"value":{"entity-type":"item","numeric-id":4645221,"id":"Q4645221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645236$44611CA5-7AF3-47A9-A975-DB5805C5FB30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645236$336B8123-EF24-468B-AD73-8C023BA22DBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645236$E2B5A6FA-5CAC-4554-9E25-FC20F9A31F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645236$5419FF86-2EA2-4B47-8729-F595EE76958D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f4f29dff04ae062eb9d357ea091d478b0a9ca20","datavalue":{"value":"6999521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645236$3BF49C95-C8F5-450C-B991-C80A5515043C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645236$CA5B40E8-D2EF-49FB-A082-2E5180ABF2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e3c2f623f2b29bb15ebf66d66746b681b6a397f","datavalue":{"value":"linear connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645236$81BE33C9-AD50-4395-9033-B837AA62ACA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8f384098e8f2ae4ef2ba4576b8d375f29034500","datavalue":{"value":"Horn clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645236$91B689E3-28C1-4669-A6A0-8ECCF30F37DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f83b1aa5c3c73185ab130c51100d98b8269b368","datavalue":{"value":"frame problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645236$4F51729D-2942-4E1A-B078-6F97C4B644F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645236$B08854D6-AE5E-4C86-A174-2010AF96AFE9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645236$E696A548-F7C9-4004-9380-E7E84C293152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"54f0b6cd9430d4317ae603182f2d6e77b04522cf","datavalue":{"value":{"entity-type":"item","numeric-id":32504,"id":"Q32504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645236$F95D6E38-7356-46C4-982E-6DCAF2DA564A","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":"Q4645236$5A7D1F42-D2FA-4C91-BBFD-33F3AEEDDA4B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9af6ba430d7baf9a3223e94a7012324f4f13143b","datavalue":{"value":"https://doi.org/10.1007/3-540-61208-4_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645236$8F169979-FF8C-4FC0-AB2D-C7CEB48D7E97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ccb6db5f7f090daa72ca051b2a053557dc24ea03","datavalue":{"value":"W1602400484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645236$C9475792-22D7-4B4B-B235-E2BEB56D9996","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2c802bff99753e7bf4b2454f3cfb1065a514958","datavalue":{"value":{"entity-type":"item","numeric-id":1329372,"id":"Q1329372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645236$C985290D-E6AC-40AE-94DE-DA4E7704D368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2c2b382c3725436e250ac6e5f951d42a292c14","datavalue":{"value":{"entity-type":"item","numeric-id":3954845,"id":"Q3954845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645236$CD1A8C04-53B2-4F3B-883B-CBC8E532406A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d3e41df6b1f820a18f3dae9a7bd419f3c1f6f91","datavalue":{"value":{"entity-type":"item","numeric-id":578927,"id":"Q578927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645236$59C3771B-E837-4FD8-AFA9-A3DA134E3722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab4a834f420c137ab9a15e9507b4abe589cf2e56","datavalue":{"value":{"entity-type":"item","numeric-id":4012176,"id":"Q4012176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645236$A91BF712-4603-432C-BF33-F8634A9E7042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32563a68777f57f43788d326ffa2ffa1822e5a27","datavalue":{"value":{"entity-type":"item","numeric-id":1108814,"id":"Q1108814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645236$80D1DEB9-6D89-4E61-B20E-268949E85D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e03de07b03d1b3e67f9af8601e3a198bdefd00dc","datavalue":{"value":{"entity-type":"item","numeric-id":4244309,"id":"Q4244309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645236$C3F1BE0A-FA37-4C8E-AAE0-B38A5435D717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b4d7dbca2e8a3f53bd7f46b4b62a16f5a8ff3a","datavalue":{"value":{"entity-type":"item","numeric-id":4881298,"id":"Q4881298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645236$AB3AE9F0-0609-405C-B7D9-72235A3756D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a872690aae65aa8cbfced9522c07629e0a8e21","datavalue":{"value":{"entity-type":"item","numeric-id":3862380,"id":"Q3862380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645236$993451CF-5E75-4829-853B-920D1A7225B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"158bb2233935470152d2dc667c5dec4b7a43c81a","datavalue":{"value":{"entity-type":"item","numeric-id":1344875,"id":"Q1344875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645236$013F1D67-8B00-4972-9AAA-9EA42B1628FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07bde1b1ec996aeb071ba3c817fedaeed25122f5","datavalue":{"value":{"entity-type":"item","numeric-id":1189726,"id":"Q1189726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645236$9FE98511-BC5A-438C-A5C3-509B4BD0C8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf531efb88e664c8c46dc4bc5cb42d48408b96c","datavalue":{"value":{"entity-type":"item","numeric-id":3976054,"id":"Q3976054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645236$A0E5C48B-E25F-48B1-8BAF-A66E59B2DFC1","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":"Q4645236$26BA6255-21A7-4FF5-BB4A-91794478ECBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd14dfd5fcf50936e1b75a0606ba244808c450f0","datavalue":{"value":{"entity-type":"item","numeric-id":3929076,"id":"Q3929076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645236$9E65544E-908C-4874-848C-84B54AA8F233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446632995204e3b2b92d723af23be59eb4150423","datavalue":{"value":{"entity-type":"item","numeric-id":5210762,"id":"Q5210762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645236$46C17D87-CF84-4D26-A609-3C40AF9FB6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d58245da881f3cdb86d99b65a47aa10bf7772d3","datavalue":{"value":{"entity-type":"item","numeric-id":4016561,"id":"Q4016561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645236$BCD7FD29-683C-45B7-BF27-9BEBDDB6AEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fdb4fac4f93bc575905bd2c0ceb52922fc001a8","datavalue":{"value":{"entity-type":"item","numeric-id":922685,"id":"Q922685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645236$4D00059C-4DCB-4C53-AF00-B187C8AC983D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa951277efa689de0eb36889d9bab1053c1dca4c","datavalue":{"value":{"entity-type":"item","numeric-id":4881298,"id":"Q4881298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ce87b3ee7bf9992997dab520b39c3819c282a47","datavalue":{"value":{"amount":"+0.7687874436378479","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":"Q4645236$C1D13EF1-0CDF-4945-A9B1-DF771D3B1AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4b4e126c2d0ced1d7e3dcc88e4ffcc7396c754","datavalue":{"value":{"entity-type":"item","numeric-id":4244309,"id":"Q4244309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fff369c8c941f386851b01171847517c3fb09b2","datavalue":{"value":{"amount":"+0.765659749507904","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":"Q4645236$02198C4C-0688-4E72-A928-8456DF4297CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b20d672610f466cb492fc6a9937526c288a20f5d","datavalue":{"value":{"entity-type":"item","numeric-id":1402751,"id":"Q1402751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0e2e658f1d1cd3cfe500c01f364e9d50504fb77","datavalue":{"value":{"amount":"+0.7634256482124329","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":"Q4645236$0EF27A55-D358-4638-B981-0406011759A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c8ac42e6c49d13fdb968dee9d3e491849796fa5","datavalue":{"value":{"entity-type":"item","numeric-id":4209625,"id":"Q4209625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77c93d799a1d057cb1fef02d3a680eae8caed992","datavalue":{"value":{"amount":"+0.7538955807685852","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":"Q4645236$013E4D33-79A6-4BF2-A2D4-F65FDAB19B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3548248a33935296c23ed7b0b4212078565db15","datavalue":{"value":{"entity-type":"item","numeric-id":4484729,"id":"Q4484729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22b5f7684dea7cd66c63f6968272df6239ae7f20","datavalue":{"value":{"amount":"+0.7413447499275208","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":"Q4645236$F818AC40-B3AA-49C6-84B9-1C84BC43FF52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645236","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645236"}}}}}