{"entities":{"Q5045468":{"pageid":7075045,"ns":120,"title":"Item:Q5045468","lastrevid":54435632,"modified":"2026-01-26T19:49:30Z","type":"item","id":"Q5045468","labels":{"en":{"language":"en","value":"Checking static properties using conservative SAT approximations for reachability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7612661"}},"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":"Q5045468$AA1987E6-956D-4444-AEB5-00CB0C169F5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a06849200287488df2dd679cd99850a6f0fc44f","datavalue":{"value":{"text":"Checking Static Properties Using Conservative SAT Approximations for Reachability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5045468$1E058EA0-3FF5-4CC5-B0E3-77BA8B31E996","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25c43331d0fdd312ca27a4adc8f3f6be3d06b5a9","datavalue":{"value":"1498.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045468$CA3A5DAB-356F-4219-B4E1-C233823193D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"acaf536b974851a29628ad3cc84a98a241f43935","datavalue":{"value":"10.1007/978-3-319-70848-5_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045468$E5F2A213-1212-474A-A598-2EAF09E1B5BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9ee90f8cb14e30a2f979418d0943f6e0ecd4f3b","datavalue":{"value":{"entity-type":"item","numeric-id":510896,"id":"Q510896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045468$98B60265-063F-477E-9D40-BC58729C8388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80461d6d9d7339257b40c85e88b219a6425c5ace","datavalue":{"value":{"entity-type":"item","numeric-id":333321,"id":"Q333321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045468$44F3826F-0CB2-4062-8100-3313790668AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"203078983d22de9e3d26d90afa910c7a3f494328","datavalue":{"value":{"entity-type":"item","numeric-id":2281623,"id":"Q2281623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045468$2DAC892F-06AD-47B0-9A0C-4E949E5818FE","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":"Q5045468$2953A5FD-B4ED-46CA-A86A-23B3ADB19E86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96420cb12347695a963e770401ec584dde3a55d6","datavalue":{"value":{"time":"+2022-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5045468$AFC1A8F6-B8E3-42B3-BC57-F67E5795E83A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045468$6A4E9567-6D9A-4919-B94E-A2152EAFA6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045468$5A28B208-E2D5-4E02-B3FD-A782374F2338","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44f7cae2a1917a91cf16d6258493f0c8fe0e0afd","datavalue":{"value":"7612661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045468$03291A8B-DE59-4A36-82B8-0FDCBA28F34A","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":"Q5045468$C1D9CEF5-ACC5-4084-A5CE-E3DFD4D6371A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83426678c0c1b5ffc9b0b545ef2c2883ad3d2216","datavalue":{"value":"https://doi.org/10.1007/978-3-319-70848-5_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5045468$287A3919-C1D7-402E-92E8-CD5F590E8011","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e934afcfd8a64fee25652ac89448c10c57a517b","datavalue":{"value":"W2767904835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045468$8F56B687-F72B-4685-AA91-A7A75F5C77A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f068ff86d7554bbcfca76f1f9c0989e2795e89","datavalue":{"value":{"entity-type":"item","numeric-id":2418047,"id":"Q2418047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3d19b10c3a837d0dbfe525914d45ae9a5a52e5f","datavalue":{"value":{"amount":"+0.7719478011131287","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":"Q5045468$B3A473DB-2454-4021-8085-0A2E1FC7E906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e116affd04360dd1f2efef338f59067771d7fd30","datavalue":{"value":{"entity-type":"item","numeric-id":2281624,"id":"Q2281624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81bfef7e25af9afe422e4e3b6391f8184682370c","datavalue":{"value":{"amount":"+0.7245240211486816","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":"Q5045468$292E23C7-67F6-4D1C-9728-A4CC769799B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a24fab64c825cc6912a6ef78456629ad4b37893","datavalue":{"value":{"entity-type":"item","numeric-id":2789271,"id":"Q2789271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e144978a225c72ea3445afe5f531872c8f69f690","datavalue":{"value":{"amount":"+0.682602047920227","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":"Q5045468$2C4CFC82-1182-440F-9F6E-3E84E7CEA261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"668834c8aa0ca84a733fac36729bbe7a7180cd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3564025,"id":"Q3564025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c26d3a4360e7c186d60634508c02e2923ebc2ce3","datavalue":{"value":{"amount":"+0.6700061559677124","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":"Q5045468$9DB50783-8BEA-4B08-A94A-7BC819B5DE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e0723295edc623a9c0c7aaa206fc3e000edd6e9","datavalue":{"value":{"entity-type":"item","numeric-id":5327507,"id":"Q5327507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e08761c89d6797477c19a0ff08328eee07ca49","datavalue":{"value":{"amount":"+0.6683249473571777","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":"Q5045468$A6F7A593-8AD3-41DA-B391-59F69F6F117D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5045468","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5045468"}}}}}