{"entities":{"Q1978018":{"pageid":1988760,"ns":120,"title":"Item:Q1978018","lastrevid":46897746,"modified":"2025-12-25T19:47:30Z","type":"item","id":"Q1978018","labels":{"en":{"language":"en","value":"A propositional theorem prover to solve planning and other problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1456917"}},"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":"Q1978018$A290911F-DF59-4AEF-A544-FE05A17D7DD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8998c9505e06822ab93a71ff04ad557c4978b07","datavalue":{"value":{"text":"A propositional theorem prover to solve planning and other problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1978018$B0812393-9B7E-4B65-8DF0-392238025A39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fabe20f65b314c3842d9621e13b2c34018e7e1a6","datavalue":{"value":"0940.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978018$B7F803A9-E82E-466C-9126-3B642FFCBF88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"981c79d7f9d5c872657f10c24ab36b60c32b5cc9","datavalue":{"value":"10.1023/A:1018998610179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978018$29E0002C-ADFC-490B-9534-124E6A427539","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d135fdb5d9cabc45110bc7ef12c6bf6347c59da","datavalue":{"value":{"entity-type":"item","numeric-id":1430297,"id":"Q1430297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978018$411A6BA1-5F8B-49C8-8DF4-7B36C80FB8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efe49c25650dcd4febba639d323fee3054738fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1104094,"id":"Q1104094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978018$0E25F5F6-7251-481C-95B2-9AAFE6D96977","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978018$459274AB-0854-4B33-A872-E3BB1520877B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f824e8df8660a01a22c6ea772f84f035aa08b14a","datavalue":{"value":{"time":"+2000-06-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":"Q1978018$7B2C1503-92D6-4A29-8C1A-84490BCAD6E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978018$400CB331-E459-468B-935B-9688B95BB1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978018$5A71B7F1-8A33-4F37-8F7F-AF9B82D00164","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a1bedb7ddb178410d8e6f7aab78f7738ae3144c","datavalue":{"value":"1456917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978018$BAC13E12-BEE7-4380-871E-D546FE4ADC20","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7911c2ef7e609f5a879f07648f4b323a50097f67","datavalue":{"value":"modoc","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978018$F23AEB73-EA22-44E5-BF65-96772DC72E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a723bb4e17bfe756224fbb8bad4ed2206c818020","datavalue":{"value":"panning problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978018$1BD37E1D-B4FF-4E6B-A1BF-F585E0B5EDE9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978018$0F7D2117-4B3E-41B7-90E6-527C31F9E6D3","rank":"normal"},{"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":"Q1978018$B51C1356-38EF-420F-8869-687108D4E302","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":"Q1978018$6A425DC6-804A-4F75-BF7D-E7A4AD8F7AD1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ea55bc61c013328eb84ed3f56a23c3015fda73e","datavalue":{"value":"https://doi.org/10.1023/a:1018998610179","type":"string"},"datatype":"url"},"type":"statement","id":"Q1978018$7EE136CE-1768-4D97-8464-5B2A3E97593C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b38d24655cd3f09a2147bbfa40b45872741706c","datavalue":{"value":"W1537720255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978018$95D3CD8B-D586-4ACB-9A6D-44A785F30139","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dca7e77f4030af3b0574131984b984ad9f8b7e33","datavalue":{"value":{"entity-type":"item","numeric-id":1961454,"id":"Q1961454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"863c3845f3d590b6e8b895480bdeb939cb99dc70","datavalue":{"value":{"amount":"+0.7979230284690857","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":"Q1978018$C63D881E-99CC-4954-9F93-25FC99B4F1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2076f039e1b2356e4e9d8fb64701bffa277c7a7","datavalue":{"value":{"entity-type":"item","numeric-id":4252522,"id":"Q4252522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14542859b5a6b1cb309b3cc2d762e6944f942c27","datavalue":{"value":{"amount":"+0.7948710322380066","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":"Q1978018$CF179652-772E-4A4F-97B1-8392F6F5D94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffc202638374ea772190b3e3d3f5d32f56840118","datavalue":{"value":{"entity-type":"item","numeric-id":1978017,"id":"Q1978017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2995aba932516a2c0bfc8d384f9f22b1e0abbd1","datavalue":{"value":{"amount":"+0.7935128808021545","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":"Q1978018$4FA95281-B464-4181-AF3E-345461E0AEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61eaaaf3fa79c73e2e64fc469be9302e0fca2fea","datavalue":{"value":{"entity-type":"item","numeric-id":1808886,"id":"Q1808886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b325b77decb041ca781d0aa71ad5d7fbc5dfbc10","datavalue":{"value":{"amount":"+0.7872700095176697","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":"Q1978018$7F17724E-5852-462B-BF57-AF5EEECCCD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdc13b8c60f11707289dd6c9f344642d5f4e6f46","datavalue":{"value":{"entity-type":"item","numeric-id":1978019,"id":"Q1978019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ba2007172c848b7bd022a831e421ca448293039","datavalue":{"value":{"amount":"+0.7748149037361145","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":"Q1978018$BB4CDD5D-A7EF-4886-B425-1EE57D3609CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1978018","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1978018"}}}}}