{"entities":{"Q2549243":{"pageid":2559986,"ns":120,"title":"Item:Q2549243","lastrevid":44331426,"modified":"2025-11-22T01:56:55Z","type":"item","id":"Q2549243","labels":{"en":{"language":"en","value":"Finding resolution proofs and using duplicate goals in AND/OR trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3359805"}},"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":"Q2549243$943389E1-2A15-4209-B2FE-306F40D094CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5b0b886f296834cdc720a9652f6f9b681fd633d","datavalue":{"value":{"text":"Finding resolution proofs and using duplicate goals in AND/OR trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2549243$FF0DE5C8-CB76-43EE-8985-9ADAD449A637","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42957ee85720a736a002ea349316cf9064a08d8b","datavalue":{"value":"0226.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2549243$C5FD19C4-C078-4B23-9229-6AF5BE5D4F7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5d186532db69d4349a81cdec84d003b0b53c1b0","datavalue":{"value":"10.1016/S0020-0255(71)80013-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2549243$4D4B9C91-BC29-4343-8388-B54CAAEBAC26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc90a3a6cb7ab9d722cacde3144f4ad0accd92b","datavalue":{"value":{"entity-type":"item","numeric-id":2549241,"id":"Q2549241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2549243$C871E021-D729-490C-A53E-28D53774776C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8908db2649dbec5c05344edcd68d1e691be62ca","datavalue":{"value":{"entity-type":"item","numeric-id":2549242,"id":"Q2549242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2549243$DDE78524-4BD6-4776-A28B-39219FC3EC1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2549243$28D38476-F149-4AB7-9B00-FD40FB11E946","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"652ad65ffdd573691be68fbfe67aa0cdf6812549","datavalue":{"value":{"time":"+1971-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2549243$E89A5F03-E063-41A1-A471-FE2F6BDA8EFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2549243$7C2DFFFC-31E2-4D1C-B500-7AC3D260B357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"280a65d907047d5094769e55a4a308fa043f2982","datavalue":{"value":"68-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2549243$1830BF93-CD16-4DE7-B654-BAC1A87D715F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23866c879ec0008f9b1515f31d6f884ea3b70402","datavalue":{"value":"3359805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2549243$B8913087-DD76-432E-BED3-CEE730145292","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":"Q2549243$96C30E25-1CDA-4177-8C6E-5230649C4A2B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cb1de1ece9a31ff44ee49630487713766b19b9","datavalue":{"value":{"entity-type":"item","numeric-id":5609735,"id":"Q5609735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2549243$E662EA0F-3900-447B-B142-57053B741921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a99b3cfaa24ace22461e3611dd14f5ba9e4db0","datavalue":{"value":{"entity-type":"item","numeric-id":5616174,"id":"Q5616174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2549243$B7C7FA29-0A00-4EBD-9234-17D687443906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63a071a6f8b55d75a9f66e7d5c4ddcb984ffa8fc","datavalue":{"value":{"entity-type":"item","numeric-id":5578546,"id":"Q5578546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2549243$C05E1F9B-5EB4-4CF2-8C6D-E0BD9A8C0F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c3619e54d23805be501ac56b166e67b0585f38","datavalue":{"value":{"entity-type":"item","numeric-id":5507983,"id":"Q5507983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2549243$26D9429A-528A-48F9-86B7-B075BEAD4503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdf21144d9e32553e8f12d339373f204fb256fe","datavalue":{"value":{"entity-type":"item","numeric-id":5721424,"id":"Q5721424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2549243$5C28CACE-F8EA-4828-AD22-DEB783D16F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d53a28b01bdaf2102551cb99ed821945979a516","datavalue":{"value":{"entity-type":"item","numeric-id":5541352,"id":"Q5541352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2549243$8FFDFC86-8F0C-4262-A5F9-F5BA5E341CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febe5bf101c3b7d6dce19439eb466caa5715de79","datavalue":{"value":{"entity-type":"item","numeric-id":5624683,"id":"Q5624683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2549243$36D899B6-554D-4D01-B069-44853660B384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2549243$A8CC6586-F818-475F-B955-DE561DF45030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db1af0fa3ab79d3aca7d0c2eb038f3a2d86af567","datavalue":{"value":{"entity-type":"item","numeric-id":5541351,"id":"Q5541351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2549243$C548ADB8-8E0A-45FC-BBC2-D66148B102DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db57d83c4539b5e1e312a9885e87a573f21cf309","datavalue":{"value":{"entity-type":"item","numeric-id":5562604,"id":"Q5562604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2549243$C03A423A-1DB9-40B9-B399-614740CBA98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a33ce3e413cca9e1a12c4e9a6bc84f3ffd7ed46a","datavalue":{"value":{"entity-type":"item","numeric-id":5590824,"id":"Q5590824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2549243$37A2A47E-97E6-4D93-91B7-316E669A7E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba6180c1bf402a660460d1c7c2cda5800e8652ba","datavalue":{"value":{"entity-type":"item","numeric-id":5720484,"id":"Q5720484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2549243$B8EE4E54-26D7-4CFB-BF37-A44660C2FD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391632ad1d48589b01edd3aba10f093137383883","datavalue":{"value":{"entity-type":"item","numeric-id":5559273,"id":"Q5559273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2549243$E49898E0-D862-41D9-944F-2C91E200F736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f771f551f48b2f2d21f6f2011008cb21eb26e492","datavalue":{"value":{"entity-type":"item","numeric-id":5538933,"id":"Q5538933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2549243$B3D3AE53-FB1C-405D-A0A0-974B0D27003D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2ddd577ed90e04a20eae5be577339449c3bfed","datavalue":{"value":{"entity-type":"item","numeric-id":5610102,"id":"Q5610102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2549243$3B4B60FF-FC3A-49CD-B85D-C7D98E7DCD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a101ded09c5125d96a8befe26aeda0ce844e0ae6","datavalue":{"value":{"entity-type":"item","numeric-id":5542557,"id":"Q5542557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2549243$BACB8DDB-1590-4973-B1B5-83EBBE1506AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e58cbc1e56b628df8261f3ac69dac62d8347493","datavalue":{"value":{"entity-type":"item","numeric-id":5617288,"id":"Q5617288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2549243$F8ECA4D4-EF96-4753-80BC-D17178AC26F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b6f231eb024fbb0248b8ea953dad94e2ed45be","datavalue":{"value":{"entity-type":"item","numeric-id":5507984,"id":"Q5507984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2549243$585F0F8E-12D1-4B1D-ACA3-A595E41427D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47bab4f7d1b2661e9a9ca3ddc35e5a57311ad582","datavalue":{"value":{"entity-type":"item","numeric-id":5507985,"id":"Q5507985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2549243$AFC10763-D4EF-448A-B207-BA6D659ADEA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2549243","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2549243"}}}}}