{"entities":{"Q3637242":{"pageid":5667148,"ns":120,"title":"Item:Q3637242","lastrevid":50704436,"modified":"2026-01-14T21:04:24Z","type":"item","id":"Q3637242","labels":{"en":{"language":"en","value":"Branching-Time Temporal Logics with Minimal Model Quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576374"}},"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":"Q3637242$78A0F747-45D1-4989-AA1E-0F65FC270D2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffcf0e7c4a583c811cf09c0a65fde045c9a2ca07","datavalue":{"value":{"text":"Branching-Time Temporal Logics with Minimal Model Quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637242$A16DB7C7-B2E5-4B6A-ADEB-B675B651D133","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b143413de0c706483cfc2c2c9c10649eded6095d","datavalue":{"value":"1247.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637242$1A06921D-DE5A-4D1F-9467-B2D5F341CFF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5524af810c32fd59da2fca08ce000657fb3ab2e1","datavalue":{"value":"10.1007/978-3-642-02737-6_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637242$2DCA1FC8-E757-4D55-B062-B54FCB247433","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b79e7dfe19010a2a7fb9a4094963f88655e7110","datavalue":{"value":{"entity-type":"item","numeric-id":357124,"id":"Q357124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637242$CBB3D449-735E-4629-8D17-7000C02E480F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9b0d5346ec014243da840aa4842429b4a2c359","datavalue":{"value":{"entity-type":"item","numeric-id":329412,"id":"Q329412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637242$DC9F368C-A564-4E3D-8DDD-A63F679ADB9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"49baf02e74d2a198bc501af7d38d979f16ec31e6","datavalue":{"value":{"entity-type":"item","numeric-id":2817370,"id":"Q2817370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637242$98046C63-3672-4823-81DD-6103B8189EC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94035e3f051d88ae4ad052aa0269faba85e94c5a","datavalue":{"value":{"time":"+2009-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3637242$85188916-F592-40E4-9B41-96706FF0CD53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637242$AAEE90A5-EDCF-49CB-B284-22F56446A1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637242$A2621EF6-4340-4343-9822-0222939C7D91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c655c998a1bf7e6c7161ea78bc736d06e41c778b","datavalue":{"value":"5576374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637242$A3191FEB-27FF-41E4-83AF-84F7FB5AA682","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637242$F65AC37A-81D0-41D2-B21C-99B3D6C2DBE0","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":"Q3637242$585A02D5-1889-485D-80FD-9C2934DD8489","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b86b5c7ab259edb04a21444737dd6bfb981bf014","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02737-6_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637242$10EC30FB-0516-462F-90BF-A635E1613C97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb2bd3065449f5526a2a6f6cde38bd3bed165f47","datavalue":{"value":"W1600588018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637242$0358094E-2643-4F05-87EA-6D5EA2A98AEF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637242$B9474C7C-031D-48C6-A3E2-6175D1563E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637242$B44D45C3-8AFE-4827-975E-624664C13DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3e0bf6d66ae7c4b6b46e88d6d5b96072d8e8fa","datavalue":{"value":{"entity-type":"item","numeric-id":5597521,"id":"Q5597521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637242$4FE7BC76-0815-4CE0-AC50-64A11C8BCB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f805c195a7e1ff5eb0c52bb92f63f6e848d46d4","datavalue":{"value":{"entity-type":"item","numeric-id":3591423,"id":"Q3591423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637242$DC5CC33F-0591-4BEF-AC11-58E04EE8BA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba6e2a7c636084565f7671cd1624574254be99f2","datavalue":{"value":{"entity-type":"item","numeric-id":2946674,"id":"Q2946674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637242$3ED5F2BC-B8BC-43BD-8B1E-A136D421674D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e40e8e6d8ddf8d0c8db8344cb310a0d5b6713f1","datavalue":{"value":{"entity-type":"item","numeric-id":4260085,"id":"Q4260085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637242$8E3C7FA3-485A-4532-A9D7-51137F5CB397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637242$53C4B323-DCD1-485A-B3CD-37196C17D56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637242$FB10B0CE-AB72-4DA7-8037-2F21B5450EEF","rank":"normal"},{"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":"Q3637242$5E56BD7F-4255-4ABF-BD93-2CEED0CD79DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e4cb03cdd580b04360180c3b995b714114438e","datavalue":{"value":{"entity-type":"item","numeric-id":3086938,"id":"Q3086938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637242$C27F1858-2349-4C4A-9C83-0B0F84BC3B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6482fda869c7df0ed32fd6ade8f790a1ff04cc","datavalue":{"value":{"entity-type":"item","numeric-id":5585020,"id":"Q5585020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637242$31F813DE-B250-4395-86D9-CF2D95241AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30d8dc0d538f37be56fd0251f11c2dbcbf4aa0f4","datavalue":{"value":{"entity-type":"item","numeric-id":2817629,"id":"Q2817629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637242$55B3AAA6-12E6-48C8-AC0D-C9457C75C1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637242$E454FC3A-BE3E-4391-892A-E3CB0A95D237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d20c77cca311b366cff19997c4533db649f8e26d","datavalue":{"value":{"entity-type":"item","numeric-id":2771058,"id":"Q2771058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637242$4F440A13-10E1-412A-AA79-76C95032F4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a25b15d4de5281fa01e8ea884c428a32cf21fa1","datavalue":{"value":{"entity-type":"item","numeric-id":5191527,"id":"Q5191527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637242$4F622BE5-180F-4A9B-AE63-8D2E527294D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637242$04FAEAEC-9687-46D8-8E08-4731B0CD3767","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":"Q3637242$5EC4ADC1-B80A-4D24-8182-303FF14BE64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8375e11ce45f9ec75069670248a6039513460faf","datavalue":{"value":{"entity-type":"item","numeric-id":2540183,"id":"Q2540183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637242$E083678A-C40F-4871-86C2-97F8BC698EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67aa0df6c0fc27786ebfa5ec52093be9eac8c44c","datavalue":{"value":{"entity-type":"item","numeric-id":4501666,"id":"Q4501666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637242$A001C06A-8B45-4AD0-BC1A-61A7CFF05C3A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b368a560c3ed3ed70188dfe1eb32036b8e65fbd2","datavalue":{"value":{"entity-type":"item","numeric-id":2771058,"id":"Q2771058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68235dab7b3d43dc2d6c23c512935887d676a9d7","datavalue":{"value":{"amount":"+0.8346143960952759","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":"Q3637242$CFEE6811-54B7-40E6-96B9-598786381FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"856ca66cfa3a174bc499433f747f22d69228e3c3","datavalue":{"value":{"entity-type":"item","numeric-id":4639929,"id":"Q4639929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49206fe9f57537a82f8a7c9851793e0633b6632c","datavalue":{"value":{"amount":"+0.8097522258758545","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":"Q3637242$89A4FB12-FEBB-4A62-B00B-B4F38013292B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1990d77e9c082ed3b93eb00c37d8f154a5bc967","datavalue":{"value":{"entity-type":"item","numeric-id":1401306,"id":"Q1401306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04ae203ec7c8c701964da0aec0792fdbed009bef","datavalue":{"value":{"amount":"+0.8089730143547058","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":"Q3637242$F1EC14FB-1AD5-4831-B1F2-5C1549D0B7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d02a68cc4a94e17b0ca9ade27d1ab44d903162","datavalue":{"value":{"entity-type":"item","numeric-id":4242583,"id":"Q4242583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4292c4ebb28f4dd8cd0e95c650660efb9a295a2","datavalue":{"value":{"amount":"+0.808972954750061","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":"Q3637242$27818023-8EE7-43C2-9CF5-E35EE94BD4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0913a62d4a4cad9c6e300c9e86267156ced39ac5","datavalue":{"value":{"entity-type":"item","numeric-id":4508400,"id":"Q4508400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa980b87174e90d95f9b3119911dceebd9fbc4d","datavalue":{"value":{"amount":"+0.8087924122810364","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":"Q3637242$0BD44B7F-C441-4DFC-ACE7-8AB390E3D014","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3637242","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3637242"}}}}}