{"entities":{"Q5713729":{"pageid":7743283,"ns":120,"title":"Item:Q5713729","lastrevid":92859665,"modified":"2026-06-05T02:56:24Z","type":"item","id":"Q5713729","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2238984"}},"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":"Q5713729$C9A40BD3-7F69-4ABA-8B52-FA509C88D1C9","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":"Q5713729$178CDCB0-47E8-4E21-84D7-3A808CDD5BC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4f12df979b509d3578e87218a8ff4027c1f1651","datavalue":{"value":"1128.68459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713729$F4AD43C2-0475-4B37-ACEA-92916179EAA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9323277da4221f486dcd2f4f16e3724d7850e","datavalue":{"value":{"entity-type":"item","numeric-id":702097,"id":"Q702097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713729$73497E2F-C5ED-48F7-A667-EB4E406BFEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c341599c3e863949eea97745bc45533d1828de0e","datavalue":{"value":{"entity-type":"item","numeric-id":814565,"id":"Q814565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713729$57C82AF8-9E80-4B79-91EA-F658BFA44CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e84f7e2c1f803bb7189a383a3052a99f16f5d84e","datavalue":{"value":{"entity-type":"item","numeric-id":3429017,"id":"Q3429017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713729$77CEB7EC-A152-4E4B-87B3-44AE85340C2A","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":"Q5713729$90195CCC-9D4F-47AE-9FBB-5C7DD566963C","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":"Q5713729$253F6D7C-6EB2-4813-9E55-439B5E104ADC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713729$A48A5D80-8B9C-4B4C-B167-89DC219ADB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713729$1680BE6D-193E-4A49-81D2-7E9AAB5E9068","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa82166ac155222e7af192a6bd234f0651cdba42","datavalue":{"value":"2238984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713729$69609AF3-D5B1-4092-8289-E75F5FA67FA7","rank":"normal"}],"P1463":[{"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":"Q5713729$F0B60D58-9936-4474-A97F-13DC520B1083","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":"Q5713729$68DB216F-0487-45CD-B6E0-60F6EFD9C626","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":"Q5713729$EAA6394F-7502-4155-ABD8-D338ADCDF67A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27cb569ce05ea7d5068f7c4c9e4a78f789eebc5b","datavalue":{"value":"W2497844642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713729$102C008E-C9C2-4561-A500-581A525ED39F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1afac04859384005528f8a8d1ef4ab30dee60cfd","datavalue":{"value":"10.1007/B137280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713729$1CF15082-E1EF-406D-A4DF-53767AC2E4B4","rank":"normal"}],"P1643":[{"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":"26e64bcc75e87b55b12f33761dbd78daef50636c","datavalue":{"value":{"amount":"+0.7464867830276489","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":"Q5713729$3B146F80-9F3A-43CD-8E40-ECAEB94756CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab30d1bbbf226610c8e8fb5b2c8eec941e4c676","datavalue":{"value":{"entity-type":"item","numeric-id":3566747,"id":"Q3566747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e8d0fddf3dc538d931399c6542e5be2bd8e27d0","datavalue":{"value":{"amount":"+0.7457303404808044","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":"Q5713729$5905BDC7-A587-4879-97E2-26E74C0CCFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45acf569684e5407f555d4b998b43616c79e474","datavalue":{"value":{"entity-type":"item","numeric-id":5492981,"id":"Q5492981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58702585514535349b7b0f42ac79f7a5b1060356","datavalue":{"value":{"amount":"+0.7448461651802063","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":"Q5713729$6E4DBCA4-2B64-4713-B3CC-94523DAFE75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4732629a4972652d98f4bc9874c86637a0c91c78","datavalue":{"value":{"entity-type":"item","numeric-id":4899301,"id":"Q4899301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a30b6e6e268254756fce98181977ada8cd7b3ef","datavalue":{"value":{"amount":"+0.733875036239624","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":"Q5713729$18A16728-3133-4054-A63E-EFC6EE35A054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83cc427116e8e5de07b05e44314d4af2dec7739b","datavalue":{"value":{"entity-type":"item","numeric-id":5900311,"id":"Q5900311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94d7e6e444bc50755160a1f57d4554f252fd9e9f","datavalue":{"value":{"amount":"+0.7312742471694946","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":"Q5713729$843B99C2-1B85-4624-A20D-8CA35E710753","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theory and Applications of Satisfiability Testing (scientific article; zbMATH DE number 2238984)","badges":[]}}}}}