{"entities":{"Q5714771":{"pageid":7744325,"ns":120,"title":"Item:Q5714771","lastrevid":101625638,"modified":"2026-06-06T01:51:41Z","type":"item","id":"Q5714771","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2239218"}},"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":"Q5714771$1BFCF7D1-CC4A-46DA-BF0D-DC4ABFF757E7","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":"Q5714771$72A4CA1C-C352-4FB5-870E-2C2D077A1ED3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37e8f4b663fff8521310959d359d348d0300f6a1","datavalue":{"value":"1122.68407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714771$0377A8AA-4098-4C33-9203-39D6A987C2D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a48a3dfa0d354243a51541128362dee50e19df96","datavalue":{"value":"10.1007/11527695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714771$8B4375C3-25AC-4AD5-BF4A-1524D99F466B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72095f2f713ef1c79b38c0714aa4d79ebbc903f3","datavalue":{"value":{"entity-type":"item","numeric-id":1015811,"id":"Q1015811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714771$D9FC8FE4-9CE6-4235-928E-D8C155E08DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3740dee5cb06126fcb8c1a5354bf5dcfc0843a9f","datavalue":{"value":{"entity-type":"item","numeric-id":1777391,"id":"Q1777391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714771$9FC7A6C3-427D-45B8-A77D-6E2DDFC032AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b2501ec31141075b0e4a606774080e8f4837bb7","datavalue":{"value":{"entity-type":"item","numeric-id":293436,"id":"Q293436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714771$5E56B818-42BB-4479-8E30-1C7C552B6EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e92e0e03478e58d040be69827ae9c62731f981e8","datavalue":{"value":{"entity-type":"item","numeric-id":235689,"id":"Q235689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714771$95A5B328-A2A7-4BA3-A528-EDBFEA3A51C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ca8a4811cca52a248ccfd30baaf04c265f9ef0a","datavalue":{"value":{"entity-type":"item","numeric-id":208765,"id":"Q208765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714771$612ACAB0-1541-4998-90F4-5F67D3B2CC60","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":"Q5714771$34D358C6-D013-45B9-8FF1-B90762195E41","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":"Q5714771$6550F68D-A4BF-4EDA-BF8F-EDBC490AFA75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714771$C6C0D42A-77E0-4E4F-BF0E-F0D95D128E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714771$26B1CB86-A4EF-4C5D-821D-6B8130439B6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c8ff0a3747255df30b34b367e0f84092ea9afe0","datavalue":{"value":"2239218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714771$00D2BC36-76F0-4EDB-A0AC-804F48531F21","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":"Q5714771$94BCFE4D-88A1-42EA-B8C1-F6E797F69ED0","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":"Q5714771$11BED0EF-EA14-426F-8FE7-10CF4113D138","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e466963db77981029fd6e92f0cd97b0af5bac31b","datavalue":{"value":"W2483910514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714771$685B0BE8-B6E7-4024-8D30-F1EA5699A360","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25e1264fe06e549ca9b3acc0d123cdd8d959db20","datavalue":{"value":{"entity-type":"item","numeric-id":3305350,"id":"Q3305350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ef38d2732a918faf4613c23a0c5c134a3124de","datavalue":{"value":{"amount":"+0.91841805","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":"Q5714771$58A09278-F023-4FCF-8538-3025883DEF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"264c8295defa273b2390850e6dc56d3ad1595656","datavalue":{"value":{"entity-type":"item","numeric-id":778535,"id":"Q778535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7889fcaf31d370658e9dc82ca495bcb8585999a","datavalue":{"value":{"amount":"+0.918418","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":"Q5714771$ED032FB2-B15E-4B4F-A6D6-B4AC1749281B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e868277f9977984959c321fea38ec0f04f507af5","datavalue":{"value":{"entity-type":"item","numeric-id":5425398,"id":"Q5425398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e678faf8c40beeedea0274ccfd09d97092c920c9","datavalue":{"value":{"amount":"+0.91628605","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":"Q5714771$6A1E2123-4D39-4D38-8D4B-8226E629509B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54971bdb5f6072c500ce009e99e3a0ab2928a080","datavalue":{"value":{"entity-type":"item","numeric-id":3196620,"id":"Q3196620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7060b596774222409879cf77d9cf3a0d4ae10b6","datavalue":{"value":{"amount":"+0.91350955","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":"Q5714771$CCCDF8C6-1493-4EC5-BE38-71CD1B259E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cf75c3d9043ebbe9acde503f3a967f9f161ffe3","datavalue":{"value":{"entity-type":"item","numeric-id":3190694,"id":"Q3190694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5b1c29e2d09069a033dd14f9afd4b6a2905d086","datavalue":{"value":{"amount":"+0.9076715","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":"Q5714771$EE81E523-907A-4D1A-8DE2-F44A80AECBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0faa173a2864d4ead7a46ba2c745e76e73f68be8","datavalue":{"value":{"entity-type":"item","numeric-id":2661762,"id":"Q2661762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d66cdf28be3596e385c400dfaa6150e6da5a1580","datavalue":{"value":{"amount":"+0.89688796","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":"Q5714771$40E59E0D-15EB-45F5-907F-7CA7C7773EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae120cefbde4c0dc4c211bb52527f719dd187283","datavalue":{"value":{"entity-type":"item","numeric-id":4413799,"id":"Q4413799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"733618914f846140faded51b25b6277438ae4bb2","datavalue":{"value":{"amount":"+0.89400387","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":"Q5714771$7997E885-C29F-48DA-B198-324F2191CA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4d575b5ed888ba7cc948c248fd2648ada24969a","datavalue":{"value":{"entity-type":"item","numeric-id":2179353,"id":"Q2179353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c92d1813d9bca6744bf3a223df1c5db629e1803f","datavalue":{"value":{"amount":"+0.8931687","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":"Q5714771$4BEB1DB8-F891-423C-9017-3DA08837A398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2553208319c697430c2b7ed1d0f6f7acf8798744","datavalue":{"value":{"entity-type":"item","numeric-id":5738928,"id":"Q5738928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"698aecc500fbbc0db5bd4bc1a732b8e6d54af375","datavalue":{"value":{"amount":"+0.8895315","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":"Q5714771$9CE5B549-4D91-4F05-A465-57739047E3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27bb8b4524829c29778fd6fedd9017ac30f695b3","datavalue":{"value":{"entity-type":"item","numeric-id":269342,"id":"Q269342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4d6ee45db5677fe418b49766aec11520adc1899","datavalue":{"value":{"amount":"+0.88952","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":"Q5714771$EEE004F9-4371-4B72-9C92-F9B98395FC03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theory and Applications of Satisfiability Testing (scientific article; zbMATH DE number 2239218)","badges":[]}}}}}