{"entities":{"Q2981086":{"pageid":2991811,"ns":120,"title":"Item:Q2981086","lastrevid":79657913,"modified":"2026-05-06T14:25:25Z","type":"item","id":"Q2981086","labels":{"en":{"language":"en","value":"On satisfiability trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6712535"}},"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":"Q2981086$F38BFDA2-8DA8-4047-8B67-D89BD0D0CA20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd959673952f07fb02512428ca5ebb5c63ccde8a","datavalue":{"value":{"text":"ON SATISFIABILITY TREES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2981086$139566B8-F7D9-4F4B-A1A1-06F79961BBB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46a4162082a9d79125bc061bc112e214336a22e6","datavalue":{"value":"1365.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981086$E96EA83B-9E9E-4152-B87A-4A3867918210","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c22b387ab80385b85f398df0a87176b5547a992f","datavalue":{"value":{"entity-type":"item","numeric-id":2825890,"id":"Q2825890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981086$D18653B7-8DD5-4723-BD9D-FDAFE2D6E832","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dce5c9cb706ee9693896c28948059f8d889bc04e","datavalue":{"value":{"entity-type":"item","numeric-id":2923237,"id":"Q2923237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981086$7E8AA253-D52E-4BBB-85D4-B9F2D13A6802","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3aaf1d9eb7be8ffa0ffc276984018b68fdacb27c","datavalue":{"value":{"time":"+2017-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2981086$ECFF3997-AF06-4A34-8399-B4CDDCB1A283","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981086$6A18F930-E506-49E5-8107-5257ED9CB532","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12b7743de63e84d6b5226c3210c3bc56b10535e1","datavalue":{"value":"6712535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981086$8DDE438F-9AEE-4C1A-B709-F9E8E4733B3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35717744d4a76a69a6a825767410175e951c53b2","datavalue":{"value":"satisfiability tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981086$7BBD3B01-0CD9-4B37-997C-699D66242595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76b5fdb92e3bf177b0c6f84f1027375b7963c100","datavalue":{"value":"semantic tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981086$09CCDABA-6632-4A72-B323-DDD3A4FFB73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd47118910fdb38c46f5f4fe99e3757adf12edc8","datavalue":{"value":"tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981086$A2390AC5-2F05-44D3-8C64-C3E634F9A8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"106129ec6f201340371b3ff2ccd5fd5699ab0c21","datavalue":{"value":"rooted formula tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981086$41C49842-F506-425C-AC50-D558244702BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcc771f9c4cbb132a4fb9368403bb895cba44b70","datavalue":{"value":"matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981086$9D5B7ED0-D3A4-4131-80AB-428D284C9379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981086$AA79C347-514B-410F-9D72-17CAA2AF6798","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":"Q2981086$34D7385A-E583-43B5-8597-F0DEBA1969F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"775c7a53d93d6a672673bd7fea7540ada7837425","datavalue":{"value":"https://doi.org/10.12732/ijam.v29i5.5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2981086$E56D7BD8-ADEA-41F6-BB95-74CA6A39DD5E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e640db2adc7d0c7e71827a58c8fcbb2ed78e6c1","datavalue":{"value":"W3119302716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981086$F21BC21F-2EBB-4900-A7E8-94C3DF133896","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"baf1ffdc60cfdbb43b2187b09b0877831b96c35e","datavalue":{"value":"10.12732/IJAM.V29I5.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981086$F919D736-4EA2-4BDF-AA63-E8CD5247FE11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a34026a80396f856be9125ffa6e3c57697ce9358","datavalue":{"value":{"entity-type":"item","numeric-id":1863824,"id":"Q1863824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"847b70781dbc3bd9e4cb8bd34738f5fb2b0a03b0","datavalue":{"value":{"amount":"+0.779775083065033","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":"Q2981086$6BB981DB-C732-4DA0-857F-C2A2D6A8BA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e68a4ecd14d9185b0b097d26bcd476c19dadcf82","datavalue":{"value":{"entity-type":"item","numeric-id":4319327,"id":"Q4319327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4e592e51c08bc4570c1b366a93dc003924a5d2a","datavalue":{"value":{"amount":"+0.760474681854248","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":"Q2981086$EAE55F70-FF3D-472F-B113-B6A7A81219B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d31430df1de4b65e6bfeeb52a357aed2056322cd","datavalue":{"value":{"entity-type":"item","numeric-id":4536325,"id":"Q4536325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54db899e0d370dd0954d678bf66ab8714344a77f","datavalue":{"value":{"amount":"+0.7594583630561829","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":"Q2981086$F8C1CB42-D8AA-44FF-865B-E92F4F4DE830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7575046bf6521d1bf21c3f4c9c086a429f2d8449","datavalue":{"value":{"entity-type":"item","numeric-id":5713728,"id":"Q5713728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b04597a83041282afb3cfac3752d9d4e7ea91c9c","datavalue":{"value":{"amount":"+0.7457519173622131","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":"Q2981086$F69C29F0-5F79-4507-97F9-FF8AEAF47254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a29e179bbf06cf64dcb40b6c39cad4b300e7df5","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c216aa75c80947bce348e91365dd52d926cc53e8","datavalue":{"value":{"amount":"+0.7382417917251587","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":"Q2981086$FBE5A98B-73F1-492B-98B5-C57BA49F6ABB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On satisfiability trees","badges":[]}}}}}