{"entities":{"Q2851939":{"pageid":2862659,"ns":120,"title":"Item:Q2851939","lastrevid":51838406,"modified":"2026-01-20T07:17:02Z","type":"item","id":"Q2851939","labels":{"en":{"language":"en","value":"Model checking general linear temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213570"}},"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":"Q2851939$AEADC4F6-E0FF-4B97-BF88-9A55D9BE870B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0f19b767a134270e0d3425b720912107a745c54","datavalue":{"value":{"text":"Model Checking General Linear Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851939$FFE56DDF-EA35-4A77-964E-E334DAF41A36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ea8be877fd40079df37513e3a8df2295e49556a","datavalue":{"value":"1401.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851939$1B0EBF09-C61D-4287-A9B5-7C78A008F7B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49524dfc95f98433190aabc5fd4d9c0a56817569","datavalue":{"value":"10.1007/978-3-642-40537-2_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851939$B865348D-6F3B-434B-A470-CF5CF0E9323F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d26a6d42055360a4e3597c193110b77101cdab25","datavalue":{"value":{"entity-type":"item","numeric-id":518744,"id":"Q518744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851939$F0A6D848-49C3-43E9-9BB2-856AAF1BFA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b731434e1148d12c80d6300dedff0088d080112c","datavalue":{"value":{"entity-type":"item","numeric-id":476191,"id":"Q476191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851939$CE0BF4D2-1482-4014-A3B1-F8A9D2F06DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22c3c5a22fb3da755e2e8fb1d94c251a072f6ebc","datavalue":{"value":{"entity-type":"item","numeric-id":790946,"id":"Q790946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851939$5B91EF61-8375-452B-BEBB-5F087A16E66A","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":"Q2851939$FD608ED1-74E3-4167-839F-AC66A5687FA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1145dc38b4d246480a51682f22dd7d8a161033fa","datavalue":{"value":{"time":"+2013-10-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":"Q2851939$C180EAF2-5CD3-4F8B-B1E0-43608032AB6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851939$27936D46-F6D5-4209-A56F-A020730EB5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851939$B789AB6F-B21B-4F39-A15C-B0775A48A3B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7205452ddad0ef99f39236f2dddde3e2e78f6f4","datavalue":{"value":"6213570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851939$55BFD9B8-87E8-475B-802D-F23860D9D5FB","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":"Q2851939$FF1A15C7-C6EF-4D12-8F0A-DBBCB9878D15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a15ce7e9d3a23d1235448dbf0a06d4d28822eb33","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40537-2_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851939$26649D6F-012F-4634-88A2-FB909F5FD2D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9536fd20bda6165f63b575ff73d97d1d248c9091","datavalue":{"value":"W58948312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851939$62E63F91-571C-4933-9EDB-7082CE760282","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dce247ccb35b72c4ccb576481530b3d14063e4ab","datavalue":{"value":{"entity-type":"item","numeric-id":2936229,"id":"Q2936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"471f6ff6dc34eca64063461397d16c085d347cad","datavalue":{"value":{"amount":"+0.8339474201202393","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":"Q2851939$BD0D0A47-0553-473D-A574-8F85CB4295D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a1bdfdd388ae2045a5f966c478ba5dc79eda0e9","datavalue":{"value":{"entity-type":"item","numeric-id":2870137,"id":"Q2870137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07689d96dde501553d1afb2424792e0994e89c8d","datavalue":{"value":{"amount":"+0.8268253207206726","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":"Q2851939$7C3491BA-1E0E-4EFB-B49B-F3D9E6AFEAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2dcc0adfd4d5db35d5ccc628702b10ca39086d6","datavalue":{"value":{"amount":"+0.7779325842857361","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":"Q2851939$F74CBA0B-7703-45C4-9B86-795354AA972D","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":"44927a91c13fcb9444f4ba4a6231b7314e6a187d","datavalue":{"value":{"amount":"+0.7606852054595947","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":"Q2851939$93DF9B83-E132-45C7-8C65-49CAE91D6BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8383c81dc306dd82e36f9328ffbecd979c9336a1","datavalue":{"value":{"entity-type":"item","numeric-id":1400578,"id":"Q1400578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68bb9504ccb090324b7d4fe2d20e2dbaac57567b","datavalue":{"value":{"amount":"+0.7603430151939392","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":"Q2851939$BE21F57A-0454-4732-A111-39A9001A63EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851939","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851939"}}}}}