{"entities":{"Q3608783":{"pageid":5638689,"ns":120,"title":"Item:Q3608783","lastrevid":50592140,"modified":"2026-01-14T12:18:28Z","type":"item","id":"Q3608783","labels":{"en":{"language":"en","value":"Encodings of Bounded LTL Model Checking in Effectively Propositional Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523784"}},"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":"Q3608783$D6DF8C67-B919-4CE2-A0F4-E3729E792B02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c61bef24eb50389c29ba92fca39eaf721062c3f1","datavalue":{"value":{"text":"Encodings of Bounded LTL Model Checking in Effectively Propositional Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608783$9154D4A7-A966-4B75-9E2A-5A38817A1164","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91985609508d87fa7d1cb37fc7e96468fba94802","datavalue":{"value":"1213.68386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608783$FA1EF78C-CB11-4532-B4EE-4B5F8F5B9598","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23f951e43b60c83e8b5a8b0f5f30d9fe76d20cec","datavalue":{"value":"10.1007/978-3-540-73595-3_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608783$91635A85-0064-497E-944C-524A3843BE3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bab2dfee53655d9cc8087a652185465cb178825e","datavalue":{"value":{"entity-type":"item","numeric-id":229754,"id":"Q229754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608783$687B20AB-D500-49F2-9690-4146258C3E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fe449f468b85b46403017c91eeb30e6fc473c2d","datavalue":{"value":{"entity-type":"item","numeric-id":1779310,"id":"Q1779310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608783$35820856-6639-4DF5-BD38-425630096743","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a99c28302e4dd8894739792255bebe5f186782f2","datavalue":{"value":{"entity-type":"item","numeric-id":3608758,"id":"Q3608758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608783$03698C17-7D9B-4C48-91BE-0D7DA651FCFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608783$44272D3B-BC72-48C7-99B6-2192A93B5E66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608783$650E10E5-0C08-41CC-8BC5-315D265ECFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608783$2B42B0C7-B043-4399-92DF-0685CF503D02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f56184570c6b1fbe17f72bb432beb7a0aa7edd49","datavalue":{"value":"5523784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608783$93CE7C6B-BAA9-4B0D-800C-A0056CC1C099","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":"Q3608783$E0EAAAC3-4C0B-4F45-9AE9-A84BD35B059F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608783$B323FDC5-0E80-40EC-AEC6-6D35545244A3","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":"Q3608783$0EE27891-5EEF-4070-9ABB-A4C29D823A3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e4a25fc7480a99b602bc2f0e112095015a3400e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73595-3_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608783$BA2134EA-87B6-41E7-99F7-36A9C5A5222F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b096fe2ca6db9f5e553d43475af42e3b5b6eafb7","datavalue":{"value":"W2124498114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608783$D08E79C9-A923-42CA-8CD6-73645BBE8995","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":"9ed60a867e75f5f196d590b1e30b78744301e770","datavalue":{"value":{"amount":"+0.84207683801651","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":"Q3608783$AD7A3E8B-5FC2-4275-B040-5773A3BC0344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d8b7bc506570e1ffa0717751930e8078f520df1","datavalue":{"value":{"entity-type":"item","numeric-id":5310676,"id":"Q5310676"},"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":"Q3608783$5AF9CEF0-71A9-41D8-A201-67EF7E3A2BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"995e7a95a19a897b6da47f87a3b2152a0392b81a","datavalue":{"value":{"entity-type":"item","numeric-id":4427907,"id":"Q4427907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33401224c2a3444c2572d2f9b59579b2cf82422f","datavalue":{"value":{"amount":"+0.8193422555923462","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":"Q3608783$1835102C-3E0C-4246-91F9-1BB4CB4B5FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81d2a6c0c75db35d1a64a9e5c5907468a4789d5b","datavalue":{"value":{"entity-type":"item","numeric-id":2864381,"id":"Q2864381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a147717dd22d8748ba9adb2406748bab8cd4422e","datavalue":{"value":{"amount":"+0.8189168572425842","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":"Q3608783$239E008D-E0B8-4DFC-B3F0-4F7A2D741E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67f436796ae869c7866cb24a7b8262c489995b6e","datavalue":{"value":{"entity-type":"item","numeric-id":5492980,"id":"Q5492980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc97ec1bce8a9c5c577f656a0929eb773f0c4fc7","datavalue":{"value":{"amount":"+0.8161882162094116","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":"Q3608783$35F79DB6-C57F-41CE-B2CF-91EA7AA5FD1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608783","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608783"}}}}}