{"entities":{"Q4928457":{"pageid":6958039,"ns":120,"title":"Item:Q4928457","lastrevid":90985523,"modified":"2026-06-04T21:58:00Z","type":"item","id":"Q4928457","labels":{"en":{"language":"en","value":"Propositional temporal proving with reductions to a SAT problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176226"}},"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":"Q4928457$F5DE6292-34F7-44E1-ACA4-029D86E2F939","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e5facfaa3cd18533cbd9a0ebd821ed73b6cdb13","datavalue":{"value":{"text":"Propositional Temporal Proving with Reductions to a SAT Problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4928457$AC43F13B-0F2F-4650-9E2C-0D28240E8C08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"700612f62826c180a0f8cff953a4d8b87079e64a","datavalue":{"value":"1381.68277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928457$AFFB871C-DEB0-42C8-A191-3A0E06C8B487","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"602d4130375f922b114c5eef1e50dd9845a75e85","datavalue":{"value":"10.1007/978-3-642-38574-2_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928457$43E1E1A1-0A28-42AD-BE99-25E69C461B90","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"feba868a8cb9ecfadec66d8e8a91d447de952529","datavalue":{"value":{"entity-type":"item","numeric-id":4928424,"id":"Q4928424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928457$C95CD8D8-2E16-487A-B8AB-260A55C11A1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4928457$1EEE6469-81AB-446D-87F3-4B74196B477A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928457$DC9960A0-CA38-4B5D-ADE4-86ACBCD400AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928457$04FFC1C7-1118-4ACA-8B30-4BD3CCC80853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928457$C201AB95-A6C4-4BDC-A98A-32C50E009244","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24000d9d84ed2587c4c49183d575751897639b0f","datavalue":{"value":"6176226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928457$D1F72A28-13D7-4C26-8F41-F359EB524605","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":"Q4928457$65CD92F4-FB8A-45AC-B7B6-8666FFECB547","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23e64c6a5d3c58acd9a5e216dc8f612296b1fa2d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38574-2_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q4928457$8B89DA86-F7F9-4B01-ADDA-074A957DDCCC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d5cb29ea95812b1738a58b316855501d9232193","datavalue":{"value":"W1849580669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928457$4E73575F-AE3F-4D19-8B65-4C51E92A5DB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be3f39e228ac8e1655e831f1223a5fe918b0808","datavalue":{"value":{"entity-type":"item","numeric-id":4412853,"id":"Q4412853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"061dcd6337eabc5fe55576c2b14e36e6e47240bc","datavalue":{"value":{"amount":"+0.8218801617622375","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":"Q4928457$8C02836B-1EF2-421B-8B14-294040376C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf7a644b08d7c001a3fe3ea470daca0cd6400e2","datavalue":{"value":{"entity-type":"item","numeric-id":4246976,"id":"Q4246976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22b0743ef6d38bfa0d924ee77823d715b61c682e","datavalue":{"value":{"amount":"+0.8066281080245972","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":"Q4928457$18CCB0C8-6760-452E-BEEA-908143E284DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9253735b839ce795f970d4a53f6d1e9baa9737b","datavalue":{"value":{"entity-type":"item","numeric-id":1978028,"id":"Q1978028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c136855f905a0abbfcd21900c1bee8f30a7bae2c","datavalue":{"value":{"amount":"+0.8056570887565613","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":"Q4928457$D50CB68E-B0C1-4873-AFDF-297946AA2DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e080210901be2a3cd23d58d8de35aa960da018fa","datavalue":{"value":{"entity-type":"item","numeric-id":4381382,"id":"Q4381382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2167eb822e65a8bd2d121f9769fd41cc90dca9c","datavalue":{"value":{"amount":"+0.8021638989448547","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":"Q4928457$A5BF1E40-9F93-44C4-9DE8-4BCFAD285055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb58043c56c81218071db6050752bf441a23616","datavalue":{"value":{"entity-type":"item","numeric-id":3012536,"id":"Q3012536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"363f3be0edde35b065e9842fbb840e21447a84b1","datavalue":{"value":{"amount":"+0.8014259934425354","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":"Q4928457$5BE3AE24-3F83-4F77-B068-5EA33846A8B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Propositional temporal proving with reductions to a SAT problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Propositional_temporal_proving_with_reductions_to_a_SAT_problem"}}}}}