{"entities":{"Q5505561":{"pageid":7535121,"ns":120,"title":"Item:Q5505561","lastrevid":101381882,"modified":"2026-06-06T01:07:21Z","type":"item","id":"Q5505561","labels":{"en":{"language":"en","value":"Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498349"}},"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":"Q5505561$38CA0D96-415B-487A-AA68-C64E28D2BDFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43d97c639fddbd52439bb7bd5139cf4eb3852dac","datavalue":{"value":{"text":"Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505561$0E91AC63-1B18-4220-8276-634F1E759026","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fd300c685fd676ecb410a3de556ab381f762740","datavalue":{"value":"1182.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505561$6E1DB0CE-B3B8-45FA-8263-8AC91FEE3B0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09306147b90590fd2c3a13b8ecda5e7764363c76","datavalue":{"value":"10.1007/978-3-540-89439-1_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505561$F80A2D2E-5621-409C-B966-5BE52B0366A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"498d039033b9bc38216498eb57cb84dc2a55d72f","datavalue":{"value":{"entity-type":"item","numeric-id":436410,"id":"Q436410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505561$5ACBF8A1-CCD8-4D21-88DA-8FF59228B592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f26cec6ae15659f313fff6b25a831fc933cba05e","datavalue":{"value":{"entity-type":"item","numeric-id":436409,"id":"Q436409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505561$9209A7BE-400C-4F4B-889E-3748ABFB19CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505561$353D30C0-E551-40DC-9634-70C60796FF90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505561$7D85D015-F410-47D5-BA26-1076A11FA74B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505561$5737C976-ABED-4D66-9CDD-8515456342DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505561$13600666-103D-4008-BC4D-DB331CEE66C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e655327a1ea7120edcff81b701e6d46e5d08a9ad","datavalue":{"value":"5498349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505561$9C40D537-5E19-4248-9F6E-782621B86FDE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505561$8C4EB0EC-DD4B-4412-B995-900F374E660F","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":"Q5505561$2B2B2F76-C01B-4B78-8803-3EDC2483C1CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9c0c175e90e6d9839b6b5f8a2a249543774752a","datavalue":{"value":"https://doi.org/10.1007/978-3-540-89439-1_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505561$E3B4798A-AEDD-421D-B11C-D45F0809B303","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"233864838125187f0efa12ccf89bb46efc2f8b32","datavalue":{"value":"W1505526588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505561$F31B9F9F-5D14-4641-943F-2BBE6D1E0EB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49fa52d4f6f64da344488e7c632f25a795b9ee9e","datavalue":{"value":{"entity-type":"item","numeric-id":5899041,"id":"Q5899041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a724d5e78bebfeabe6be735e43eeea02e90920b2","datavalue":{"value":{"amount":"+0.7922713160514832","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":"Q5505561$37A17DD0-3466-4FD7-8142-B62DFA5B7F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ba98873d052f5816175646d512a17079b79c03","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a270b2d1ba821104c153267ee098d012d9cc59f","datavalue":{"value":{"amount":"+0.7584536671638489","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":"Q5505561$DF71A3A2-C02B-4046-9A9C-FDF04388EE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2850ed93b9300f9fa6dfcd630fc70b3e6cd1a60a","datavalue":{"value":{"entity-type":"item","numeric-id":4735931,"id":"Q4735931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c295cdf347b832737ccf4b070845e928324db5b6","datavalue":{"value":{"amount":"+0.7536401152610779","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":"Q5505561$71CEF061-D416-4459-BC79-5357957BA8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1905f739cf619ec41f7a0632698a1edc5845bebb","datavalue":{"value":{"entity-type":"item","numeric-id":5429314,"id":"Q5429314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41ade3d45fe6ecf4001bb0b4694b3989b00e4d66","datavalue":{"value":{"amount":"+0.7343980073928833","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":"Q5505561$CA64D1D1-8F85-40E0-AABB-3A40125A5E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"381b5fbcd46a24011e59d90944023c6e905a64c2","datavalue":{"value":{"entity-type":"item","numeric-id":5713732,"id":"Q5713732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"202d3c2d4d37cc69ca21e4f133949eda45bd0196","datavalue":{"value":{"amount":"+0.7315633296966553","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":"Q5505561$8716931D-6990-4CD1-B948-72633162122B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking","badges":[]}}}}}