{"entities":{"Q3540089":{"pageid":5569993,"ns":120,"title":"Item:Q3540089","lastrevid":81044492,"modified":"2026-05-06T17:35:21Z","type":"item","id":"Q3540089","labels":{"en":{"language":"en","value":"Practical Efficient Modular Linear-Time Model-Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5369290"}},"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":"Q3540089$988DAF54-F9FB-4EC7-AA9B-EEF440450AA8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47c6d836c8b0c3d5dda9c73bafe79ee31b423bc6","datavalue":{"value":{"text":"Practical Efficient Modular Linear-Time Model-Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3540089$F413F587-D786-40A4-9F23-B6476912D99B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6ead09a63e15ae3ee4e2727f10858195d2b5835","datavalue":{"value":"1183.68371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540089$2704827D-F337-4065-9B56-8B40BF75DCD3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4ebfa1f71ce2fd58feffc963878246012bc0f5f","datavalue":{"value":"10.1007/978-3-540-88387-6_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540089$1A031C57-467F-4DE1-A0FD-96678B94D81D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31a65fbbaeae777cc53a7239a9ca34bd6b05d7af","datavalue":{"value":{"entity-type":"item","numeric-id":714628,"id":"Q714628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540089$3FB148BC-94F8-4366-8648-F8A8EF43FD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36f9775a15afc69e2b2803668d54a5345207093d","datavalue":{"value":{"entity-type":"item","numeric-id":2065547,"id":"Q2065547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540089$91563CF9-5835-4FDD-A621-D5C1A0574704","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540089$E67A4966-1E52-47E0-BF75-D6D3155DF42C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391f01da9d69c422d0ad9b2dbbb0b627908b1ac6","datavalue":{"value":{"time":"+2008-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3540089$E0CEF651-E630-43BF-B752-9AAEF96E42C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540089$8BEB11D5-DFB6-4FA4-98CF-007DB4C4D4DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05a695316db414e43c675bdec5eb554e78cb1c7d","datavalue":{"value":"5369290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540089$DCE53B72-3F65-449C-AEF5-676AFDB81EEC","rank":"normal"}],"P1463":[{"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":"Q3540089$58F7C338-A037-4FD2-A682-4DC029881A5E","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":"Q3540089$5575A870-367E-4B90-9FB2-811346346721","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d807b9f798a5d5824260331504a7751a14756f65","datavalue":{"value":"https://doi.org/10.1007/978-3-540-88387-6_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q3540089$712B7F14-CCF8-4842-8ADF-B082DF1DAE46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"858de6dda9fac3765025c5b05be002b2ae8b9ca6","datavalue":{"value":"W1528952545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540089$6AA41A44-E9E0-41C9-9C2F-00BB6AADE304","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540089$E01216F4-0221-4F8C-A7C1-DEF03B69688A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68f2bcc0cd5971476067cea2ca02f89cced7ffd9","datavalue":{"value":{"entity-type":"item","numeric-id":3540089,"id":"Q3540089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540089$684F68AA-BF63-4C56-AE27-BC12DBC49BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540089$CF99FB55-F282-4B02-B682-42ED40FEE6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51158147a2df4e7565ea13ce2d1c2ef34f61f1f4","datavalue":{"value":{"entity-type":"item","numeric-id":1854407,"id":"Q1854407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540089$ABB91CFA-EB5D-47C0-B2B2-DC1CEDB9DF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540089$3954275A-1208-467A-8224-747133336C59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8af24679c9aa55364d0775f871c2b693ff245001","datavalue":{"value":{"entity-type":"item","numeric-id":4817546,"id":"Q4817546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01e4f815d7c38f53ada37315501fbab55ae5ad0b","datavalue":{"value":{"amount":"+0.9226757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3540089$3542E5D2-7102-471F-826E-AAB28EC32C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1883c23305d8a1b064ea2be02f161af8aa5e618e","datavalue":{"value":{"entity-type":"item","numeric-id":1192606,"id":"Q1192606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eb1de3ef443f4fa19c17cc722b3d0aeb40eb4a6","datavalue":{"value":{"amount":"+0.90730643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3540089$0F6554AE-7BC2-4A8B-8AFE-F7AF62A16F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1445758bbed764a161becda96048e3b9315972a5","datavalue":{"value":{"entity-type":"item","numeric-id":2282319,"id":"Q2282319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3b1f963bc7d811032bdccc1f5756e7d41b7b075","datavalue":{"value":{"amount":"+0.90199924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3540089$82B56063-A6EE-4D8D-8003-AB29978B8D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bd811b5d4f82a6fae6c59b30398f7c1bad898ee","datavalue":{"value":{"entity-type":"item","numeric-id":5699482,"id":"Q5699482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bae7e089513f910422cad0c32f02f6fa61c0760","datavalue":{"value":{"amount":"+0.901801","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3540089$346CFC0B-A696-41C6-B46E-EC4286C77C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d67d5da9ed25eddfe35548c942bf3395cadfcba","datavalue":{"value":{"entity-type":"item","numeric-id":3525763,"id":"Q3525763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8636ea83218c82a9eaa9c835c92e59d14873a3d4","datavalue":{"value":{"amount":"+0.9010216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3540089$D892660C-87A1-49AF-AEAA-648E3D8DEDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d1c7e76d13bfc5d038e3af467c3330293a350f","datavalue":{"value":{"entity-type":"item","numeric-id":1801498,"id":"Q1801498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeebea2ab984661b9b0853894209da25919ec335","datavalue":{"value":{"amount":"+0.9000289","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3540089$0FF72861-50CF-46F4-9361-BC0129154C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967d2af298ac21f2cd6af9ce8a91a27a9c75621c","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95b51868c8b385c47ddfa35b3bfcf963eaa4bf38","datavalue":{"value":{"amount":"+0.89924574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3540089$DEBA65D6-6FA9-46EE-9342-377C6339B270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c772e1b6b8e8a8ec29bf0f6758eb499ab1616a2","datavalue":{"value":{"entity-type":"item","numeric-id":4484482,"id":"Q4484482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd15a5dac851ce7284c47f273851b1c4265bcec9","datavalue":{"value":{"amount":"+0.89892745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3540089$AA4B3856-4DAB-4E86-83F2-130DE7CD1BAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Practical Efficient Modular Linear-Time Model-Checking","badges":[]}}}}}