{"entities":{"Q5310676":{"pageid":7340250,"ns":120,"title":"Item:Q5310676","lastrevid":50182697,"modified":"2026-01-13T10:29:20Z","type":"item","id":"Q5310676","labels":{"en":{"language":"en","value":"Linear Encodings of Bounded LTL Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5200146"}},"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":"Q5310676$A2FE1731-0C7A-4635-B50E-ACB24374A9F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b40bffb5c216b33e53321c7feee546c9a9bc0cd","datavalue":{"value":{"text":"Linear Encodings of Bounded LTL Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5310676$BAB9156E-BAC1-4935-B2DB-DA8D44F30FDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94b5e8f6b08fa0c90e82cf1448f5583e9575eac4","datavalue":{"value":"1127.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310676$B5798ADD-400A-4AA0-9390-6DB4DDB212D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c5c663f61885e6eb348ad59e68ce49615e0f91c","datavalue":{"value":"10.2168/LMCS-2(5:5)2006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310676$3607FC86-47D9-4DF7-B4CC-4B5C37B62E24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310676$7C52E6BD-A129-4FF1-BF9D-3F29ED325B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f9933ae3bad131ee8035baf5a9d9f7a567dc0c2","datavalue":{"value":{"entity-type":"item","numeric-id":338628,"id":"Q338628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310676$D721C8A7-570E-4602-AF4E-151A32467B99","rank":"normal"},{"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":"Q5310676$87D0D498-F5FA-4CFE-A57D-111A84566C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc3d63802dcd3ac1e4433559bd1c461faf8469ae","datavalue":{"value":{"entity-type":"item","numeric-id":4426371,"id":"Q4426371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310676$A6D845B9-CB9B-4E99-853D-FE3E22F937EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c48be433893868e131def341ae13b90f7ce04db3","datavalue":{"value":{"entity-type":"item","numeric-id":266862,"id":"Q266862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310676$36D28393-FB04-49E2-AEC3-5819873F93D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310676$7F052E85-DF10-4D3F-B605-9E448E4E044C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed1935546ab8f090eec5de6a789f71af1a2fa706","datavalue":{"value":{"time":"+2007-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5310676$55FED423-A660-43C3-95AF-5E1717946648","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310676$99FE53C6-645D-4A5C-B84D-20055ED8CC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310676$E7204E78-3389-4307-8DA1-A0E5F8D50D38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b5436a2876aa33a8c7416afe91a22e240381700","datavalue":{"value":"5200146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310676$26D884AF-F217-473C-9CEA-D330249A1A21","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68889b620f959d2410d5024f9adee923736e93c3","datavalue":{"value":{"entity-type":"item","numeric-id":16818,"id":"Q16818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310676$E8A67554-CD38-4ABD-8465-C3CC6D5FF4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310676$74407894-67BA-4697-8580-791889F10901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310676$36DBB8F8-5FA8-4457-8581-0E94C29DED8D","rank":"normal"},{"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":"Q5310676$4CC0F5A7-3978-4E6C-8F43-465D2CCC420A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310676$E87E4CAC-7DBA-4594-A666-307CA960A592","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":"Q5310676$93176551-E4F8-4C7B-B0CF-E58FCC13A601","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"825c9aaa727f79c201debbf710b791dcfdd806b0","datavalue":{"value":{"entity-type":"item","numeric-id":4736997,"id":"Q4736997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cad9279a84fedd5b08ce6fea01612057ced71a37","datavalue":{"value":{"amount":"+0.8633487820625305","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":"Q5310676$B89EC5FD-2A59-4223-998E-E9FFCF01E17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"052eef5bfe13e7e87b56a0267c03cfd0c3099e2f","datavalue":{"value":{"entity-type":"item","numeric-id":5703781,"id":"Q5703781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"128c6487747a6eaf59dfbaa8e02500e101f093fc","datavalue":{"value":{"amount":"+0.8303200602531433","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":"Q5310676$6B8507B4-8035-4134-83B1-9E1D1CC400EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8079e18fb15a15b0d06c52bce8360e7866f53dbb","datavalue":{"value":{"entity-type":"item","numeric-id":5716540,"id":"Q5716540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66291069c3efd6e76a1a8009e928af015e3b7566","datavalue":{"value":{"amount":"+0.8259166479110718","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":"Q5310676$CF8CD4EA-69FE-48E8-BAFB-76E4FCF3D2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd3d41e83c5b8c36bb26f88ebcbd122fd1d3af1","datavalue":{"value":{"entity-type":"item","numeric-id":3608783,"id":"Q3608783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b76fec7da51f346bd9393342e67d63681ddec94f","datavalue":{"value":{"amount":"+0.8225255608558655","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":"Q5310676$493B442E-81F8-4AA8-B9D5-DDF9D537D420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e42d233ab25d7b57820914fd6730a09f3ac950f","datavalue":{"value":{"entity-type":"item","numeric-id":5711503,"id":"Q5711503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48dd0afb7a2c2024ad2242f28a3d2cbf8eb595be","datavalue":{"value":{"amount":"+0.8156179785728455","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":"Q5310676$5066B5CF-F7F6-4208-B428-120721F9BA9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5310676","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5310676"}}}}}