{"entities":{"Q5713741":{"pageid":7743295,"ns":120,"title":"Item:Q5713741","lastrevid":48613747,"modified":"2026-01-05T09:39:34Z","type":"item","id":"Q5713741","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2238991"}},"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":"Q5713741$9D1ABFFE-D150-42B8-B91E-3EE84B3CD371","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":"Q5713741$E8613CDA-1511-4129-A67B-DFFA7F4B4A85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fc6a5de2cc8e2b7c8813d7d8646c747f4e861d1","datavalue":{"value":"1128.94308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713741$9778AFA2-89BF-404F-A3DC-434B853FFD5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"251e775a0e38a3a92df853cbed30b9d8a4837866","datavalue":{"value":{"entity-type":"item","numeric-id":5713739,"id":"Q5713739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713741$E27520E1-FDF4-49BA-AF51-599EAFC9433C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fed8e27593543fbcfd3b64fa12b9b63542320d5","datavalue":{"value":{"entity-type":"item","numeric-id":5713740,"id":"Q5713740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713741$ABF51FD7-82AF-43AE-9CF3-0F1EAB0B69F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0af992f186854c36df9daa2b6154217faa784357","datavalue":{"value":{"entity-type":"item","numeric-id":4023567,"id":"Q4023567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713741$4DAA8829-6009-44AD-92D4-D60660AA111E","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":"Q5713741$6436859B-7E11-40E3-AFD9-4F312DCE24DF","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":"Q5713741$411BB120-95E4-4F91-A700-D287BB0179B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713741$08D2B812-CC4E-484A-9659-1B3095AC87ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713741$C07F6CB2-6ECA-4944-9A60-D3DF0DC71980","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccfed3bcf0039ada4604c14005b6b287b83cb12c","datavalue":{"value":"2238991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713741$82EA4B08-BB0A-4585-9D7E-B1DAD88B361E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713741$9322CA15-964D-43B4-AD3E-B902C22DC071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8cc02a4d5cfe357c7398b8045c9b55b5580560aa","datavalue":{"value":{"entity-type":"item","numeric-id":19323,"id":"Q19323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713741$B83953F2-5603-4228-B0D1-B207FF2DCDBE","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":"Q5713741$E32AFE09-2894-4CBD-A1D2-21DE0EEF1923","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":"Q5713741$6D9E5F3D-BF92-4D76-B66A-F6129A9B49AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27cb569ce05ea7d5068f7c4c9e4a78f789eebc5b","datavalue":{"value":"W2497844642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713741$574A60D1-C3DC-4BBA-AA26-19155CC0BE29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1afac04859384005528f8a8d1ef4ab30dee60cfd","datavalue":{"value":"10.1007/B137280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713741$A2D1EE00-F7C0-4597-9135-349F3FCCC387","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ca21e570820a7f646c1ae0f03fbddd8eb6d40ef","datavalue":{"value":{"entity-type":"item","numeric-id":3502694,"id":"Q3502694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e15115d431da5399a6ef994b6b218c0ec40e9df","datavalue":{"value":{"amount":"+0.760284423828125","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":"Q5713741$3B0B6453-E83C-42B6-B85E-22C0D209243A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77910616ed03604830f2ebf7515be79d77e1649c","datavalue":{"value":{"entity-type":"item","numeric-id":4786132,"id":"Q4786132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59a9a0c0c1476cdae51cd243ae79acc414d3211d","datavalue":{"value":{"amount":"+0.7347948551177979","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":"Q5713741$7B4539FA-EFA2-4566-85C6-10AF2E25002E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad0363ec1e74f284f0bcb1c971b092aada00a860","datavalue":{"value":{"entity-type":"item","numeric-id":3425114,"id":"Q3425114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3179c00c184f63ea2755366926be61c877c50bcb","datavalue":{"value":{"amount":"+0.7281661629676819","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":"Q5713741$55373EEA-9D98-44BC-9FBB-0B4EF33A6FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d56ef9425814f92e4d38c951ab5cc0ddd27c6662","datavalue":{"value":{"entity-type":"item","numeric-id":4924302,"id":"Q4924302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"933c19348edfb6cfbc59cf8ac2b8d293829a5743","datavalue":{"value":{"amount":"+0.7193573713302612","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":"Q5713741$CEEBD5EC-7DF0-420C-9BA0-425BE091936E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"914f5ecb04d0db95abadc5f98de299555be75e24","datavalue":{"value":{"entity-type":"item","numeric-id":2511762,"id":"Q2511762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29a6d578728e1ee4da935f85fd45dab7408ecb0b","datavalue":{"value":{"amount":"+0.7120604515075684","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":"Q5713741$24E46E41-CF8D-499F-A23A-DBB05A0E9040","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5713741","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5713741"}}}}}