{"entities":{"Q5713732":{"pageid":7743286,"ns":120,"title":"Item:Q5713732","lastrevid":41197982,"modified":"2025-04-18T23:46:59Z","type":"item","id":"Q5713732","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2238986"}},"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":"Q5713732$0F1239AD-DD20-4150-8FEE-C4F850D11830","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":"Q5713732$C4028B13-5044-4CCC-B74F-3133B5828703","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d02144fc546b88440a3df0a3101976f88315fe5d","datavalue":{"value":"1128.68366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713732$389FB615-22D7-4196-A704-640DFD8D2746","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"423424ed34b7dac382d00344caf66effb4c7fafb","datavalue":{"value":{"entity-type":"item","numeric-id":199247,"id":"Q199247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713732$3549B297-F383-4833-A465-28FB3775A233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc54f67a4ecde059306e32c7c4714fefe997d7f8","datavalue":{"value":{"entity-type":"item","numeric-id":2845510,"id":"Q2845510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713732$9AE78E63-0802-4090-8BD6-338EBDC567F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6df0496716307005cd2aff2a2c826ee0bd9ceb4","datavalue":{"value":{"entity-type":"item","numeric-id":5713731,"id":"Q5713731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713732$C9BA253F-FD9E-43EA-B84B-CAD8D732CE43","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":"Q5713732$3F02F8F9-C797-4A9F-B7F3-B73DCE17D251","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":"Q5713732$F8C4B88D-DFF5-4531-84F5-DE69077893CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713732$50E60E63-41F8-46EB-90D7-479ED7FEC365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713732$6EF84F92-9795-4C95-9A12-715236446505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713732$FEF4121B-8357-4A10-B523-909E07558C08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73bb8afa11a64c0db6973fe62ed6fc1d6d08a331","datavalue":{"value":"2238986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713732$2A4FBBA8-9B77-47E4-97CB-1FE5C10AE356","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":"Q5713732$6C82C232-5FFA-4FDD-AEDC-DA16F052BBF0","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":"Q5713732$5AAD52D9-8D5B-4663-A1B9-98E71F63966B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27cb569ce05ea7d5068f7c4c9e4a78f789eebc5b","datavalue":{"value":"W2497844642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713732$BE35E4EA-06C2-4A4F-B017-64043A9B68BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1afac04859384005528f8a8d1ef4ab30dee60cfd","datavalue":{"value":"10.1007/B137280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713732$87D54FC0-18D8-43BC-8AC4-56C75E2EF458","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7143ee151dba9462ec01595aed23567cde2f9b00","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37d04de8cc6e24fb280f40f27527135001114208","datavalue":{"value":{"amount":"+0.9326161","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5713732$9141D6D8-5F8E-4C74-AA13-F24265E3B23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dade4585760ac78825fd0050bd0942512e34972e","datavalue":{"value":{"entity-type":"item","numeric-id":4804902,"id":"Q4804902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f85d3cc4bf97eb8b1f23c8670f37c5f8ac5861e","datavalue":{"value":{"amount":"+0.9153499","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5713732$210AA6AD-3557-4828-BCAA-9F252E80CF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b019f5a5e69f2f99d4f021c202692243f5e20c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5434479,"id":"Q5434479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af48ce88f7ac1718dea50c20e600202c0ecb853b","datavalue":{"value":{"amount":"+0.90932006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5713732$E46F5BEF-A553-4FFA-AC67-69DD0D782F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26780fe39d8c1324e5ccbfda50d0234751270d16","datavalue":{"value":{"entity-type":"item","numeric-id":5756604,"id":"Q5756604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9916d7c570139bda54d157c0ddb55b3e3cc962a8","datavalue":{"value":{"amount":"+0.9054793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5713732$3D4DF3D3-24EE-45E1-8D12-BF590738CBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f0de75336455743d7ad54fbc8ce3c3a9bceade7","datavalue":{"value":{"entity-type":"item","numeric-id":4815032,"id":"Q4815032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3d6f9926a7f976d268e73a4be3c96ea88d40c59","datavalue":{"value":{"amount":"+0.90496945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5713732$F5E8AFC4-C2C7-42DD-83E1-F7E41020EBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"087c048a643a5f5f2a4ed72ba18639b533577335","datavalue":{"value":{"entity-type":"item","numeric-id":821566,"id":"Q821566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b22c48a7905ac1203b5a4fb15284f22369383b87","datavalue":{"value":{"amount":"+0.90411204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5713732$698E9DFC-7071-4866-A3EB-9DEA5E22269F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc23b0f91886ee113dfd5194e89c5050a29887bf","datavalue":{"value":{"entity-type":"item","numeric-id":4798010,"id":"Q4798010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d692c7500f572867531acd786a1870863ff4b11","datavalue":{"value":{"amount":"+0.9035124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5713732$C641E71E-C2F5-44F5-9572-9F55E333F11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa00c59d107968371df10fe72481152c7bf6b871","datavalue":{"value":{"entity-type":"item","numeric-id":5505615,"id":"Q5505615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e17284b201c9fedbb8f6b558af61d3a7ef02789f","datavalue":{"value":{"amount":"+0.90302956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5713732$A83AD8B0-D4DB-44C5-AACA-579563C27452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86d34e680933949b82ea0dd19d489f673771963","datavalue":{"value":{"entity-type":"item","numeric-id":1629959,"id":"Q1629959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83ee64d91a1a54d749c5c44328967862d9f77dbb","datavalue":{"value":{"amount":"+0.9020023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5713732$C0A184E9-C0D8-4902-881A-9919EC66F20B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5713732","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5713732"}}}}}