{"entities":{"Q5714754":{"pageid":7744308,"ns":120,"title":"Item:Q5714754","lastrevid":97124729,"modified":"2026-06-05T13:22:23Z","type":"item","id":"Q5714754","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2239207"}},"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":"Q5714754$1361732D-A554-440A-A410-AC712E80E7A7","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":"Q5714754$6849493C-D2F2-4423-BB21-4DA67E116E50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8dda92983fc66c70b9383352fcf485610c87509d","datavalue":{"value":"1122.68613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714754$618A386A-2B49-43F5-82CD-94606FF4B718","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a48a3dfa0d354243a51541128362dee50e19df96","datavalue":{"value":"10.1007/11527695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714754$D63BB996-7C60-4E27-A54D-EC28A668B91F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b0956e5a041aa7d158d7ea12f83ea51b059dc5","datavalue":{"value":{"entity-type":"item","numeric-id":862402,"id":"Q862402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714754$595AC5A4-7254-4AB0-80F2-0F1C794AD751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714754$248F3269-BAE8-4C5F-8B3A-433846D3D47E","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":"Q5714754$E234651F-BAF5-485F-8AA8-CB47CD611416","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":"Q5714754$6282A96A-4C61-4CDA-9B77-B4E7D4593609","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714754$A6066412-19E4-4155-8137-4A61111213D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e4dbafb41bc30807fc93e9f770ac489d43de1e6","datavalue":{"value":"2239207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714754$A9EEFDB7-574F-4367-97E4-57B4DCB5E9EB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d650a7af9fdbfa854d490255d18c32cbaf84928c","datavalue":{"value":{"entity-type":"item","numeric-id":16925,"id":"Q16925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714754$691D012B-D4F1-4821-BECC-B15FA332DDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"656dcb3eb788c3316c4e3a6808f3e7a570544894","datavalue":{"value":{"entity-type":"item","numeric-id":13575,"id":"Q13575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714754$77E0322B-62C4-4FD3-80C4-6039DBB23F43","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":"Q5714754$E4EEE564-82A5-4CCF-B7F8-6907FBE52519","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":"Q5714754$109372D0-3011-427B-8D50-20F5600BD275","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e466963db77981029fd6e92f0cd97b0af5bac31b","datavalue":{"value":"W2483910514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714754$48DFDDB5-D399-43CE-9BF4-AB9E5DBD8027","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"469482f8c1442593e77f539320e4f40dc3c266e9","datavalue":{"value":{"entity-type":"item","numeric-id":862403,"id":"Q862403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3675c21a328b1cd0b4a55f583117275f6c233f63","datavalue":{"value":{"amount":"+0.9401691","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5714754$0202322A-775F-4D10-89AE-5603714E6945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb0810148c40a92c990df16da2d5e65d93968d96","datavalue":{"value":{"entity-type":"item","numeric-id":5268815,"id":"Q5268815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"becbba5c5022a6197dfe86eede037b526d623410","datavalue":{"value":{"amount":"+0.888956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5714754$E6044B28-0711-414A-A86B-336B5CE6A510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df5ae6243e6aa47481ebe76a21d9558d7cccf278","datavalue":{"value":{"entity-type":"item","numeric-id":3335000,"id":"Q3335000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69079e424a4d0b41e58cbe809de13fdbd8a22e66","datavalue":{"value":{"amount":"+0.88337225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5714754$D95C079C-AD84-4AF3-88E1-D829A5F6309D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5aca6e851f727799fa1c8a1da566872cdb1f1df","datavalue":{"value":{"entity-type":"item","numeric-id":2819729,"id":"Q2819729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bceb1c7658523ed84d80442fdde37e20139ebd7","datavalue":{"value":{"amount":"+0.8790765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5714754$BF1242CE-2E7D-4E4D-92C1-9A176666F197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a25acd040c09e6207c13928bf0b70415c0cd177","datavalue":{"value":{"entity-type":"item","numeric-id":4539619,"id":"Q4539619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"651b4aac2ffc357885c40b8ba70f1f681cc35f54","datavalue":{"value":{"amount":"+0.87204456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5714754$670B0EA6-FE4C-4A40-9E84-A47861BAEFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8185c638f112cbd253c828f2a16aeebeda3e4a4","datavalue":{"value":{"entity-type":"item","numeric-id":2729082,"id":"Q2729082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3567b6731657a932405780354286e2a6d0579be7","datavalue":{"value":{"amount":"+0.8717049","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5714754$07CF8DC3-DED9-4811-A5B9-284A8E5BBB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff7971bb0d53dd6682991734c0c56234b675e6f7","datavalue":{"value":{"entity-type":"item","numeric-id":5408453,"id":"Q5408453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd7c2590ac3f36c6e076320968ff9f456dac9cc9","datavalue":{"value":{"amount":"+0.8624008","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5714754$BD6233F9-4C19-4204-9AB7-04D59C019507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08b0db0006f6b601a4d415d7b7169c2b11c227d1","datavalue":{"value":{"entity-type":"item","numeric-id":5713717,"id":"Q5713717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a04a02d7eee82b90613b5019787868cf27a8d571","datavalue":{"value":{"amount":"+0.86173767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5714754$85D96272-EF6B-410A-9B29-C0DD18781E24","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":"66cadb6e04ea43dbe2b624a79b6a5081d30929a6","datavalue":{"value":{"amount":"+0.86130434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5714754$DFC6B343-67C1-4EE4-8CD5-28EA1A8678B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theory and Applications of Satisfiability Testing (scientific article; zbMATH DE number 2239207)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theory_and_Applications_of_Satisfiability_Testing_(scientific_article;_zbMATH_DE_number_2239207)"}}}}}