{"entities":{"Q5713722":{"pageid":7743276,"ns":120,"title":"Item:Q5713722","lastrevid":48613714,"modified":"2026-01-05T09:39:33Z","type":"item","id":"Q5713722","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2238977"}},"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":"Q5713722$84E911B3-0F2C-4904-BF69-48376E6B6675","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af242482719519b4548624feb679f823aedd048a","datavalue":{"value":{"text":"Theory and Applications of Satisfiability Testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5713722$28E65B42-C55E-42FE-BAD7-69F71CD79F4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06392753fd5804f308ba1573c3a8f21927c45428","datavalue":{"value":"1128.68487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713722$EAAB3D8B-E5E5-4BFE-A627-ECC8A47EC70E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3eb5506478e69d2f30bbe2cb28ed0e2a47f7ef9a","datavalue":{"value":{"entity-type":"item","numeric-id":316898,"id":"Q316898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713722$FB5FA8EA-0514-4F6F-9BD3-3A62DDF6EF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e474d80fb8e3e25b0903af1e87b38ff443f35798","datavalue":{"value":{"entity-type":"item","numeric-id":545552,"id":"Q545552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713722$F20554FF-71A5-465B-AFCA-EBCED7AF79B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713722$021347E7-268E-4807-8D6D-FF06D6C59FEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b520865fd883bc73fc620b09c86f160900096aa","datavalue":{"value":{"time":"+2005-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5713722$4CD44D9C-86A3-48C1-BB3D-3C1644F43738","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713722$0A0D02A7-ED14-43DF-A9C2-894E7C84B65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713722$258563D1-24A0-41A0-8745-34F922CC806B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713722$24FAC63C-E349-4886-BC79-CC712DF13369","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef2462313a40e3c23fe4682ea92e2c2f4b70298b","datavalue":{"value":"2238977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713722$DB608AB5-7EF2-4862-AD85-20F5CCB47FD9","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":"Q5713722$A1ECB400-2F6A-4B04-A850-203BBFF2C6CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64dc5720e0a37f50535f68f0b7d0dea92dd100ee","datavalue":{"value":"https://doi.org/10.1007/b137280","type":"string"},"datatype":"url"},"type":"statement","id":"Q5713722$3F263F2A-F31A-4BA6-B56C-47E974617D77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27cb569ce05ea7d5068f7c4c9e4a78f789eebc5b","datavalue":{"value":"W2497844642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713722$085D3AD2-1F0F-4104-845F-52536D839408","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1afac04859384005528f8a8d1ef4ab30dee60cfd","datavalue":{"value":"10.1007/B137280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713722$BA4F03FD-AD02-49C3-83A2-15F95388EE05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce6baf0208fb19be50755992aa9aed2e31c050a9","datavalue":{"value":{"entity-type":"item","numeric-id":507433,"id":"Q507433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7b34d4ffe60677f521ea904ebdc1ad0d0a47f94","datavalue":{"value":{"amount":"+0.8802849650382996","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":"Q5713722$C52CDC02-AC1E-4BC0-9476-01CA2E68FBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5199b12ab148bfc2821e03ec87a2fda69fd8ca","datavalue":{"value":{"entity-type":"item","numeric-id":1799093,"id":"Q1799093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b8dd8f1c74881116b9c427452a4678a3236be9a","datavalue":{"value":{"amount":"+0.8406944274902344","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":"Q5713722$5A75C6B6-D701-4A2C-AF16-C9F3BC3178F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1f38b0329273ebf6a8e9329899abadbff80304a","datavalue":{"value":{"entity-type":"item","numeric-id":2674206,"id":"Q2674206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69d936f08afbee26b40d25fa9b1ee6805efa04f2","datavalue":{"value":{"amount":"+0.8298230767250061","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":"Q5713722$BD04DF8D-E96D-4757-82B8-9B79E192FE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"335563a3b9c4efc8bb5e5aacf2f176428c5db3a2","datavalue":{"value":{"entity-type":"item","numeric-id":4256519,"id":"Q4256519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"251c5720368bd5774e5f128edea0ccdf78b69e98","datavalue":{"value":{"amount":"+0.8281311392784119","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":"Q5713722$01698FA2-DAF5-466F-BC07-55E808F0EC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e21852165bf53c530db96628a42399eaa0c525f","datavalue":{"value":{"entity-type":"item","numeric-id":5740444,"id":"Q5740444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b8de8a994b3f04c347bd5cd2c5cfb875a6408f0","datavalue":{"value":{"amount":"+0.8256016373634338","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":"Q5713722$F2CB3B65-2082-4A37-8238-61CD22FEB1C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5713722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5713722"}}}}}