{"entities":{"Q4654277":{"pageid":6683858,"ns":120,"title":"Item:Q4654277","lastrevid":48426631,"modified":"2026-01-04T18:43:45Z","type":"item","id":"Q4654277","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2140441"}},"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":"Q4654277$996DB8AD-3CA1-4C0D-8F88-82C5A3503FA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"074686ab93e8fe8c2a32a93b1b74c8423396b530","datavalue":{"value":"1088.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4654277$F730DEBD-1EAA-4B96-9F69-19BCADF966FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9edd92e42a7c65f96b325af59203586c0e1cff0","datavalue":{"value":{"entity-type":"item","numeric-id":1028969,"id":"Q1028969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4654277$DCA0E3C6-8431-4664-A0B9-83BEA7350937","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da5a0b97488f36c14ce64f19be4fbc0c1c6abdf2","datavalue":{"value":{"time":"+2005-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4654277$E47CC039-7042-470F-9A7C-787776D9848E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4654277$95F0E5F6-97E1-4080-B44C-DD3B604E3DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4654277$246BC938-4DE1-486F-9E1E-F715EEA7E1DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32f7acbd6d057c95bbb4d7248240027d899a45fb","datavalue":{"value":"2140441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4654277$DA152581-BC8E-4205-8EB9-9CE33C8A3360","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4654277$A3DCF07F-7509-4E72-B321-8D2476841842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"702bbe23e32128355a9344c7ceefb849e981c844","datavalue":{"value":"logic ACTL*","type":"string"},"datatype":"string"},"type":"statement","id":"Q4654277$9B16572B-5F64-42F8-83E3-40176C435070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed1adb6fa83f52fe1c57356c44b91574d371373b","datavalue":{"value":"logic ECTL*","type":"string"},"datatype":"string"},"type":"statement","id":"Q4654277$D3A2D0E8-398C-4DF5-89F5-69C7BF0C90DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13b39d62d9570b8d27af09160791ba11bdb73004","datavalue":{"value":"bounded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4654277$7352B1C6-61DE-4C4D-BE0D-E7EC59CEFAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"293946215f1270933d3f4fbb28a8e70a778bf1d6","datavalue":{"value":"translation to SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q4654277$193CEB4D-8EA4-4EAD-945B-F8ACF0914BFF","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":"Q4654277$F9937634-647B-4ECA-B3C3-D06ABFCF0FA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ad38e91a940616d714a9cda6655944baac3915f","datavalue":{"value":{"entity-type":"item","numeric-id":5717499,"id":"Q5717499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baaf2f77a769886a6c5490fb43993b72a242a3bf","datavalue":{"value":{"amount":"+0.9023372530937196","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":"Q4654277$F5C3E961-714D-4E8D-BC75-5BA891320A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ca58fba2f3f6c452d2fc675d43a44bd6661103","datavalue":{"value":{"entity-type":"item","numeric-id":3146278,"id":"Q3146278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec987ee4646c22ce608109a86bd189e039f09d26","datavalue":{"value":{"amount":"+0.8716050386428833","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":"Q4654277$26D92EC2-5B00-4CA8-B172-1D94FABC1C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8251c357a95f754b6ba0c5e390b155c518e5aae2","datavalue":{"value":{"entity-type":"item","numeric-id":4902327,"id":"Q4902327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ad0fb7f9b916da3ef50c0aa0c6514d7daa1b33c","datavalue":{"value":{"amount":"+0.8400170803070068","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":"Q4654277$351BB386-A20B-4024-9D81-BF552842FB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a2020a09089050fd9931facdaee62f5484d713b","datavalue":{"value":{"entity-type":"item","numeric-id":5392295,"id":"Q5392295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b888e8a35a5ebdecb46f38c0198d8de9a6aafbe","datavalue":{"value":{"amount":"+0.8355560302734375","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":"Q4654277$DD316992-7C72-4D18-B15A-7CB28DCBD659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"486e18bd3bea54ba4a5a3715d321e625b1a3a6e9","datavalue":{"value":{"entity-type":"item","numeric-id":3510810,"id":"Q3510810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a9383741ff1a5be729771104bee56073f840de7","datavalue":{"value":{"amount":"+0.8136661648750305","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":"Q4654277$CDB244F6-04B7-4A5E-9471-D2F2DEB9B527","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4654277","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4654277"}}}}}