{"entities":{"Q1422755":{"pageid":1433495,"ns":120,"title":"Item:Q1422755","lastrevid":48243412,"modified":"2026-01-04T02:23:51Z","type":"item","id":"Q1422755","labels":{"en":{"language":"en","value":"Measure of formulas: Calculation and a polynomial class for satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2046891"}},"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":"Q1422755$67DD987C-F29F-4765-9877-D17FA66A912A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59cf899aa549427a851453cc4ffbb275464e5139","datavalue":{"value":{"text":"Measure of formulas: Calculation and a polynomial class for satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1422755$3848F172-00F6-4F58-9B2A-2C49F26A75DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75ed6c7dcb1be234af293b7aa4e4d7b9faa42940","datavalue":{"value":"1038.03519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422755$DF971FAA-8E41-4602-883B-3266BCD5A6B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19469bd6bdce66f968da619dcf3f8bd9983028e3","datavalue":{"value":{"entity-type":"item","numeric-id":1256440,"id":"Q1256440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422755$CDA8185A-F697-44B0-B381-0EFCEDBE8436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4196f55269f0f158ebdffdc505ca2ba1db92ef8e","datavalue":{"value":{"entity-type":"item","numeric-id":946008,"id":"Q946008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422755$BBDE6A8A-0053-4CC6-AE5F-25B7D0FBBB58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea601235ca9729b561915b44763b732239cbe6f1","datavalue":{"value":{"entity-type":"item","numeric-id":276877,"id":"Q276877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422755$F0FFBC56-6CFA-4E53-92F1-EE880363C0C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0808894b362e7025261dce87e8403eb18495346d","datavalue":{"value":{"time":"+2004-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1422755$38D550B0-C350-43D4-B259-6D0B8E39D290","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422755$34C7DD4D-2716-4716-9395-69D8AF835235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422755$8D7A311E-9254-4C4B-AA75-B364FBF5792E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422755$A553D733-7980-4A6F-ABEB-A2C7E7CE0587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422755$AE6F19F6-019D-4701-BF62-A5C282A39B7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e03fc59d11bde493e1f022f1783d292fff22c073","datavalue":{"value":"2046891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422755$CAD3AC0C-C6B8-498C-982E-61DAB8110D87","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":"Q1422755$E3472CA7-E6F3-4567-A365-733188819A27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651006af4f64a7c4bbcbdf5718f802833b4f6a47","datavalue":{"value":{"entity-type":"item","numeric-id":4651809,"id":"Q4651809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b783b2f61ea2c545a908521cbb8e078209d7af","datavalue":{"value":{"amount":"+0.7853776216506958","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":"Q1422755$2205998D-AB02-4CA2-A576-77A3E3379E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313ea6c9aa9388cdc0aea7181a0a5cd77eff4fb3","datavalue":{"value":{"entity-type":"item","numeric-id":2757836,"id":"Q2757836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f9ecc3c6f0bbf0c6042307407f61a47a8856c1f","datavalue":{"value":{"amount":"+0.775276243686676","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":"Q1422755$F0393DA5-411B-4D5B-BC6B-B7A2002B4787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49f00fb733a153d43dc4b29ffd87de0b51eb6c7c","datavalue":{"value":{"entity-type":"item","numeric-id":3021904,"id":"Q3021904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d1c4e5f743e10d489c5334077f800b6d73f5c94","datavalue":{"value":{"amount":"+0.7656562924385071","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":"Q1422755$D60E0A59-1B9F-43D6-824C-4385C1003609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d90e5849f23e8cf3e4ad54285d0b6b238595b783","datavalue":{"value":{"entity-type":"item","numeric-id":3777498,"id":"Q3777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd19b2e1ebf64e4a555923d9da5ac11936ba6d36","datavalue":{"value":{"amount":"+0.7626624703407288","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":"Q1422755$859F0436-F85A-43D6-B18D-38329A8D50D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d128c574f2b8cf58e4ac1be1405936a1d2197a9","datavalue":{"value":{"entity-type":"item","numeric-id":1861558,"id":"Q1861558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4c5c3840834fc4e74f4065030942b6f70b4b393","datavalue":{"value":{"amount":"+0.7609603404998779","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":"Q1422755$F08BC601-5D78-4B95-B8D5-EE401ED602B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1422755","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1422755"}}}}}