{"entities":{"Q5714768":{"pageid":7744322,"ns":120,"title":"Item:Q5714768","lastrevid":48614095,"modified":"2026-01-05T09:39:54Z","type":"item","id":"Q5714768","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2239215"}},"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":"Q5714768$FBE4AC57-DAA9-4CE0-96DC-8B281B8754B0","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":"Q5714768$A916F917-C5DA-45F4-AA4F-9EEFF06AE596","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c6244e3d7b88030b03b5a3e0133c95c1207e442","datavalue":{"value":"1122.68599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714768$4BA61C76-2AE0-4C6A-ABD2-B6E91FF613D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a48a3dfa0d354243a51541128362dee50e19df96","datavalue":{"value":"10.1007/11527695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714768$E3A0FCAB-BB18-4482-8128-4C0B718E486F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4545114e473836bad71ebea0181e527108d9e5ea","datavalue":{"value":{"entity-type":"item","numeric-id":352966,"id":"Q352966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714768$90422292-5FBC-4F9E-9A23-55A8B544ADFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ceeef17cf40ddbf3173b7299d9a5ed8ac396cdd","datavalue":{"value":{"entity-type":"item","numeric-id":5714766,"id":"Q5714766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714768$D08007A3-2598-486B-BD2D-B12C988AA930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8318a30a82235965a4ec6cc4c3c627fd2d46f734","datavalue":{"value":{"entity-type":"item","numeric-id":5714767,"id":"Q5714767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714768$3B27D763-B9A1-4A63-95F7-F0DAA4036647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cb96374a43f3f14d8cd16b2e37b388cb6e41289","datavalue":{"value":{"entity-type":"item","numeric-id":186236,"id":"Q186236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714768$80AE7A56-3106-475E-8B03-87E3ABA9120C","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":"Q5714768$7B85E83E-7CCA-4D02-B834-5DBBD7A7986A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7af9b091289bbb4f18bee8f10ed01e53ec3c6aba","datavalue":{"value":{"time":"+2005-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5714768$BFF01459-0BB3-47E5-A29F-3234EE0A17CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714768$EB9603B9-DA8C-4EB4-8619-B576DF6A28F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92c6c0d1b45d7cc9dd3f4927675add0d67e65715","datavalue":{"value":"2239215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714768$7416F30B-06F9-47F5-B463-AD159B4A7F6D","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":"Q5714768$76282AE7-522B-45D8-A6C5-A712DBABF51B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49eef03730c7232baa82cce9577df730a2ef6945","datavalue":{"value":"https://doi.org/10.1007/11527695","type":"string"},"datatype":"url"},"type":"statement","id":"Q5714768$F60925D9-C272-4696-86DA-B636C6CFF775","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e466963db77981029fd6e92f0cd97b0af5bac31b","datavalue":{"value":"W2483910514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714768$F6D9163C-A497-4B1F-BCF7-BCED5B535E3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ea49af491734bb1eae9415b843e3fb6e2b96365","datavalue":{"value":{"entity-type":"item","numeric-id":5504707,"id":"Q5504707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a63472a0433fde0b2c75785170bb46cd8c03fa","datavalue":{"value":{"amount":"+0.8165575861930847","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":"Q5714768$EBDB7BFA-2664-447D-975B-A521A922FD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8097d1eefc1f6e412a410df106c4993c529d518d","datavalue":{"value":{"entity-type":"item","numeric-id":3429156,"id":"Q3429156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c61071964be918b6303e1d751f067e8457f4e3db","datavalue":{"value":{"amount":"+0.8018366694450378","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":"Q5714768$010DBE3C-4FFE-48B8-81F5-0446A9476DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6b2a937bce5baa1e44f54c9029c4c73e58425d9","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39fc5820aded92f280b0d4eab78759815de2e06a","datavalue":{"value":{"amount":"+0.792870283126831","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":"Q5714768$C208C0E8-4648-4BBC-9AC1-58ED03923413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b63cbc15b1c5d0c3ff8ad2cafabcd17e3a82721","datavalue":{"value":{"entity-type":"item","numeric-id":3612471,"id":"Q3612471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96bf8e8f6ec25b85b949d3c8e5c610fb93e85c86","datavalue":{"value":{"amount":"+0.7883313298225403","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":"Q5714768$1E904838-91DF-4DE3-B634-F8011316AC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c7c95240e207c0d8b24c33c19beb8f00c024a9","datavalue":{"value":{"entity-type":"item","numeric-id":4804883,"id":"Q4804883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fba3007e60af0aa58c18cfc375ea82642fe55f10","datavalue":{"value":{"amount":"+0.7799265384674072","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":"Q5714768$C493136F-3A8F-41EF-AAE3-CD3E7C994911","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5714768","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5714768"}}}}}