{"entities":{"Q3503888":{"pageid":5533792,"ns":120,"title":"Item:Q3503888","lastrevid":50377970,"modified":"2026-01-13T22:30:27Z","type":"item","id":"Q3503888","labels":{"en":{"language":"en","value":"Linear-Time Model Checking: Automata Theory in Practice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5286063"}},"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":"Q3503888$4816CACC-F344-4ACE-8261-5B453775772F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7d98914ce144159f5b6ffb64cb134bc33e5face","datavalue":{"value":{"text":"Linear-Time Model Checking: Automata Theory in Practice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3503888$F3222BD0-4A02-495A-BC2C-7532D13C023F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f823e7c07385321bc9e97b6cd2aaaa62f3f51aa","datavalue":{"value":"1139.68376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503888$D82807F9-8B9D-41A4-AB45-9E860BBD4B88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a859f044f8b9fc3ee9c2eee96ff617ad57d80f49","datavalue":{"value":"10.1007/978-3-540-76336-9_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503888$F5F4C369-D949-4A9E-A8DE-CC9BDBC01ACA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503888$9DB2C8C4-A7AF-42C9-AEDD-D65D4C491BB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf83f812d2bbb21784a7f63045abdaccf0cc333b","datavalue":{"value":{"entity-type":"item","numeric-id":2830201,"id":"Q2830201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503888$485C3923-83D8-42C0-BFD5-37F48D93BAB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"02f425c9fa8666905f3e65543eb13845c1c7986a","datavalue":{"value":{"time":"+2008-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3503888$7D0720FA-5A69-45F4-8D8D-82367EB12163","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503888$5653CE67-F413-4B29-A346-B1FCB8FEE035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503888$218A04AB-1EE5-4E69-BAD8-0345A73989B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503888$D884A2CA-4B00-4672-B872-FED41018FB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503888$48398556-25D9-4998-BB40-232912B455E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6af1c0c9c04c8a028af3dcaff1fbcb06c34c7b75","datavalue":{"value":"5286063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503888$B6D757C2-76B5-4099-8B9A-86916DD7F2AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503888$C1718A01-8EF8-4C32-B902-B55838F11025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503888$BABC1109-CE0F-4341-A8D4-480CF1876242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed0cc213bdba19433500e5197235c1316b687d09","datavalue":{"value":"linear-temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503888$BBE2ACD9-14CE-402C-BE2D-5ECF8FF12F7E","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":"Q3503888$F2668654-55B4-4C91-B1E2-A8A4AC2D161E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d124bfc6997c240e05be5a287026b571ac098b56","datavalue":{"value":"https://doi.org/10.1007/978-3-540-76336-9_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3503888$647E83FA-9B4E-4FEE-9EA3-2B2E3350172D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5df60482ef8153bdd8bb195a6a41a6425732ceb8","datavalue":{"value":"W1577467811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503888$E62B4E50-D7AB-45B3-B06F-C4F128440CCB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e23095c9e979a8ccbe1d8e5e4d4b937b8eb36cf7","datavalue":{"value":{"entity-type":"item","numeric-id":4472249,"id":"Q4472249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503888$D7437B5F-EA5B-4807-A9B6-BA10B8F2BFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503888$F396C4C3-9D77-4173-BFDD-D89091556CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503888$D0BC79F7-6430-4FF0-92BF-C1983BE60CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4c9eb0bc39c2db4fa09c1fc685181796f068e9","datavalue":{"value":{"entity-type":"item","numeric-id":1211504,"id":"Q1211504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503888$25AE66ED-6B21-4318-8DD5-537BC3AC86F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503888$FCD62991-2B75-47B6-80A7-4D97A65D6E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503888$103C43CF-EF21-46DF-AAE8-802A097173E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eefd7e7dc86c1755a8db4c6825e6e9fdeb6d39","datavalue":{"value":{"entity-type":"item","numeric-id":3619797,"id":"Q3619797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503888$F9B30F6B-F2B2-4863-9249-75464767EA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503888$0BA1A929-A4B7-4B2D-9384-7E5842C2DF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503888$65132650-8D0B-40AB-91B6-FA1D08A9681A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bc75e886fbdf71be23e2431e3d1861376cec723","datavalue":{"value":{"entity-type":"item","numeric-id":2771059,"id":"Q2771059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503888$B5CD598E-A953-440E-BD30-985D02D9D758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6571f5e7b59314ce70c60fe99520c2ad4472991","datavalue":{"value":{"entity-type":"item","numeric-id":5452603,"id":"Q5452603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503888$89D010B2-8FDE-4723-8F6F-52C92627004E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503888$6F2B40CA-7B0B-403C-9D3A-C151909875B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af991a839224cc6fc3adeed38d6e7c357c309dd3","datavalue":{"value":{"entity-type":"item","numeric-id":5452603,"id":"Q5452603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1880c806f7978363b6b9fc04e58ac492098c66d","datavalue":{"value":{"amount":"+0.929614245891571","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":"Q3503888$BF6159A3-3A63-42F9-A2BB-55B7F4D56867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"178b814139f2dce1d4d74300894e54f300141c05","datavalue":{"value":{"entity-type":"item","numeric-id":4503921,"id":"Q4503921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8c9013573c2861772b89cd614eacefad2e9023f","datavalue":{"value":{"amount":"+0.8433164954185486","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":"Q3503888$013D5CF9-FA1B-4F3B-8939-620D853760D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a332cc1d91fca55b17188e0854a958f69f303f6b","datavalue":{"value":{"entity-type":"item","numeric-id":4530804,"id":"Q4530804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8c9013573c2861772b89cd614eacefad2e9023f","datavalue":{"value":{"amount":"+0.8433164954185486","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":"Q3503888$8D81E4B2-8994-47AC-9562-83A10AD8390B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"629c1f4de26776cf53160e78a4694d545b93c3f1","datavalue":{"value":{"entity-type":"item","numeric-id":3176362,"id":"Q3176362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae71a504c7f177e194060100ab47f38649c93c1","datavalue":{"value":{"amount":"+0.820734441280365","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":"Q3503888$8E7E2D28-13D3-4AD7-A5D4-7EFFA4992808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49161caaa7eaf39f629db1a92ad320d38e825cea","datavalue":{"value":{"entity-type":"item","numeric-id":4472430,"id":"Q4472430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1fbf76d56e4369d5b3665d369ee5f99fefbd355","datavalue":{"value":{"amount":"+0.8191244006156921","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":"Q3503888$3055F4A0-FFE8-4647-A9C5-21EF9D40446D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3503888","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3503888"}}}}}