{"entities":{"Q2461559":{"pageid":2472302,"ns":120,"title":"Item:Q2461559","lastrevid":50223047,"modified":"2026-01-13T13:54:08Z","type":"item","id":"Q2461559","labels":{"en":{"language":"en","value":"Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5215464"}},"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":"Q2461559$0901A910-E96A-4131-B062-7AD7BA62DAFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0322f1e760241816081f956c18f8fd650bfc1fbc","datavalue":{"value":{"text":"Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2461559$60FB2108-E2F3-4A17-9162-6F1660A5273C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1b8dcf8951333566fc727b9c8965fb3c3d0fb4a","datavalue":{"value":"1129.68498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461559$1FABB952-1EC6-436E-BF56-D09ADA0C2442","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461559$DA032D63-C172-4269-89E3-91881B78B319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"899468d0fe4ec0ae9c5ef91b63881ae72bf40a46","datavalue":{"value":{"entity-type":"item","numeric-id":438532,"id":"Q438532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461559$F96B015C-811F-4BE9-8AA9-AFCB0D517CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7daa8e19dd762c08a3fe86309cfbf3893a62423c","datavalue":{"value":{"entity-type":"item","numeric-id":286782,"id":"Q286782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461559$EE77593E-C0B2-4B2A-A274-F4F44DED64DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461559$E8E10546-27AE-4E49-A2FC-97AD5396C7F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f07a6e02313146619eb76647232125f099011046","datavalue":{"value":{"time":"+2007-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2461559$9B5088B9-42B0-42E5-88C9-F5DE6209F852","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461559$B7D4A6F1-ADE4-421F-892F-B8AFE6106A2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9edc9820d4c7f56ba3c5ca46ee78b7a3e856ed3b","datavalue":{"value":"5215464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461559$BC8AD82D-2A8B-4484-A567-4F2CC212E9D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85745d8965112db9a93755ffbfbc90c80e630c0b","datavalue":{"value":"Automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461559$12D350F5-D066-490D-909F-5F0C09E6CB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20a1d8b3158c8e54d3eb6dc847ad8b1b709f4bfa","datavalue":{"value":"Decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461559$73532351-0D61-4850-9A81-4F463A2AD751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a490dda7ddcdd7aa6dbf575fd8ca6f69b1838f02","datavalue":{"value":"Competition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461559$BA65AC55-0828-4D6C-ABEC-68AA06FC35C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6396c01164013f53f33ef69e6d9d6b8a31d32116","datavalue":{"value":"Satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461559$277635CF-25D0-4BD7-B310-D31DAADF1F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461559$8CCF35C5-BE26-45E7-8B39-49493261C435","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce63d9106f2c1c934cab3902cda6a895f70e9488","datavalue":{"value":{"entity-type":"item","numeric-id":15060,"id":"Q15060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461559$D5726FCA-F023-4275-AF7F-CC83323A5E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461559$0059249A-288C-408B-BA20-B296C846BFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461559$A1C218DA-4B37-439E-800E-22553DB4F9F0","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":"Q2461559$779E7123-3B3A-43E6-9C6E-CFDABC70F831","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa65b87d906bb1794ec4f6747a4a57248e19034c","datavalue":{"value":"https://doi.org/10.1007/s10703-007-0038-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2461559$5024CC1B-3809-4946-9052-8C833797FD35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39bbca6c74fa1c1026efe902fbe8fe950b0fc958","datavalue":{"value":"W2034301067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461559$02141715-C5FE-4E17-BD42-B295315BAF78","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"35351ea5314252bb01a3f01d7355b45c2893b995","datavalue":{"value":{"entity-type":"item","numeric-id":861691,"id":"Q861691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461559$4205D0D5-3458-4216-BC03-0C2C0193D505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b3a3f4b3f44b312014bf38e16d46d1bd8aea8c","datavalue":{"value":{"entity-type":"item","numeric-id":5716568,"id":"Q5716568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461559$C3D4D2A4-134F-4CF3-BA10-3C981CF3D30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461559$2139E5C4-569B-4359-82D5-EA11F167F66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d92ad975b2163b744ea0b53705442cadbed9f6","datavalue":{"value":{"entity-type":"item","numeric-id":4427892,"id":"Q4427892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461559$B5D27C42-678B-4B17-BB94-99F7A62A9627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da96dfa99f70c6b2b69c48b417a516b8fa851830","datavalue":{"value":{"entity-type":"item","numeric-id":5312898,"id":"Q5312898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461559$3951B7FD-54B2-4BF6-B000-F149FFC38216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f146ef032705198a0202edddd0325ae6774f2a","datavalue":{"value":{"entity-type":"item","numeric-id":5716590,"id":"Q5716590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461559$744639C2-B016-46C6-8D5F-D59975432D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"661f0b9795f66b5d2362d9e2b01387b3e66c126c","datavalue":{"value":{"entity-type":"item","numeric-id":3150299,"id":"Q3150299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461559$27309187-D307-4C09-88FD-03D856192CF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"535cf15124e0e374c0e0bd166cfb2762316f96f0","datavalue":{"value":"10.1007/S10703-007-0038-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461559$1BA915CA-C67A-4369-A0AF-731D98C668EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0de31b8c633fe95660b63c7beba4568cd0ee834","datavalue":{"value":{"entity-type":"item","numeric-id":861691,"id":"Q861691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c597db968aff7e340a7fd57acf2c3fac17308e9f","datavalue":{"value":{"amount":"+0.9262799620628356","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":"Q2461559$59E44AE9-8261-4FE2-88DF-6FB346F12AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f943c54080b27de44312af7634875e7f707904","datavalue":{"value":{"entity-type":"item","numeric-id":5716582,"id":"Q5716582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1733eca515c139d4d8ed9c029af88e10ad51026","datavalue":{"value":{"amount":"+0.8259292840957642","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":"Q2461559$B5DBDF4C-AAEF-4D25-BC32-CD1F68855606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2643e601498b0a07c3125e9fd426278846b0b9ba","datavalue":{"value":{"entity-type":"item","numeric-id":5325882,"id":"Q5325882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b56e35400496355313f16c1bee29dad4968e00","datavalue":{"value":{"amount":"+0.7973399758338928","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":"Q2461559$9C743DD3-DCF9-4072-9E1B-1E399F142E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a33f977bf33eeab9e2b7dcbeaa58b3cd8de0609","datavalue":{"value":{"entity-type":"item","numeric-id":2060693,"id":"Q2060693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b34c600221d83a5c3e10986a88a92d74d5d6e93b","datavalue":{"value":{"amount":"+0.7800317406654358","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":"Q2461559$6F0EFA62-FF7D-4FA0-AB33-8C74640F0F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1670b5c86544b9e3abcbbcbbdd74b84256587ba7","datavalue":{"value":{"entity-type":"item","numeric-id":286784,"id":"Q286784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8b022895c6caeb8812975d33c8c1dacc57beb41","datavalue":{"value":{"amount":"+0.7778857350349426","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":"Q2461559$8A6DF4D1-0EC0-4186-A9B7-D8132F11C8D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2461559","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2461559"}}}}}