{"entities":{"Q2390310":{"pageid":2401053,"ns":120,"title":"Item:Q2390310","lastrevid":50713079,"modified":"2026-01-14T21:55:00Z","type":"item","id":"Q2390310","labels":{"en":{"language":"en","value":"The power of first-order quantification over states in branching and linear time temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5581173"}},"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":"Q2390310$26611B3D-79C3-4BD4-B2A3-4887DD2A6AF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdbf1f6f710c266b3ead4f9224d8fdde5e4425f1","datavalue":{"value":{"text":"The power of first-order quantification over states in branching and linear time temporal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2390310$3DAD4EBA-E3E3-421F-856E-2AE0294E3F91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea9353590b9996632e1de4efcb14c2828d960eee","datavalue":{"value":"1177.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390310$D224B73A-7C64-4233-8E31-2FDC5A63E4D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cff81c72b46c2d37ebe9a5f2cbcfbb6825cbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":253965,"id":"Q253965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390310$C0E94BF7-CA4A-4BD9-AC1A-FD749A38670B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dc74ace289d4fd30a2ff7eb42f16f953c350db3","datavalue":{"value":{"entity-type":"item","numeric-id":230078,"id":"Q230078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390310$DFDF9867-9DA3-4815-9151-1CA46CDF8BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06e88ac0bd75d2e13952e3076643b78912ad4a51","datavalue":{"value":{"entity-type":"item","numeric-id":334151,"id":"Q334151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390310$D84BA0A8-4DFB-466C-BDB6-FB9D9B606F40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390310$98AEC61C-3F7D-4C26-918F-2CE07449B4E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b138bef8424bac6e0cca36c0782a12730b2d0eea","datavalue":{"value":{"time":"+2009-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2390310$CED5A0AF-3959-497C-BAD9-DA76ABB745E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390310$53398620-DFA9-49E3-A179-412DE22B8CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390310$84DFAF70-6660-42CB-A03B-46BD9E20A1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390310$7357E387-3734-4C9E-951C-0BD6E68790E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e5a86e2ee20ccc257056166424f9bd79e53de59","datavalue":{"value":"5581173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390310$B8887ACF-FFB1-43DE-8155-7DA9DB0BB174","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390310$F8B879DE-CC14-455C-AAF3-08F04D24C015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390310$49D9EF4B-C32C-4255-B6F2-A8463352F377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390310$F2584AC3-DFC5-4A44-839E-E66D2D6F3746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390310$B8C60921-1932-4DE6-8EFA-DB840F419EC8","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":"Q2390310$B75E758A-546D-44C7-A3C5-6164479CED0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"516163d63670185ba0224d1e1418c65cafdc9422","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2004.05.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2390310$3AB9F829-D7A4-485D-ABEC-D8678C643B1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c7bc9d0e389560537ad98a5f31f236bb8924cef","datavalue":{"value":"W2009424554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390310$075F519F-149E-46B0-9483-CE3FCC8F3CB0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e6a970ef833d1f16c56166519e7e5cabfc785e","datavalue":{"value":{"entity-type":"item","numeric-id":1325848,"id":"Q1325848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390310$C0318E7E-DA0F-49D2-8D72-F333A4596C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c243869ba0963401792b9d55bbba80b8cb068d1","datavalue":{"value":{"entity-type":"item","numeric-id":4353562,"id":"Q4353562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390310$B3E0BD20-EFCA-4F42-86E9-EBD05C9B6AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390310$2E13FE2C-E731-495E-BFC5-280A3ECE20AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7f88b9c02f3b54e9e5865afe0a8a6cba9b9f65","datavalue":{"value":{"entity-type":"item","numeric-id":4242583,"id":"Q4242583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390310$9ED41E9B-B518-47BA-86B7-B6AD7E8A7120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882af316fab8c9e908fe7e762e41fbedf2661996","datavalue":{"value":{"entity-type":"item","numeric-id":1603537,"id":"Q1603537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390310$A10B54B6-6F4D-4F29-8F18-02EDF3530EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390310$3E4E3AC6-B4A0-4D3C-A8B1-CCDDEEF4B38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d5214b688b20c085ca517a35ba494bf283ee476","datavalue":{"value":{"entity-type":"item","numeric-id":3698787,"id":"Q3698787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390310$A35AC454-A597-4C44-8944-0C6B3DA17DCB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6e78a236c84ca5b7c98d6c6f2ec304c50c42936","datavalue":{"value":"10.1016/J.IPL.2004.05.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390310$2BF80D4D-591F-4C3D-9205-E1C9EB2B0530","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65a8cfdc3a726183847675febfa6ff30ba69be4","datavalue":{"value":{"entity-type":"item","numeric-id":1603537,"id":"Q1603537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c7c16e20f5fd9db3b155bb558bf54b48928467","datavalue":{"value":{"amount":"+0.8014809489250183","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":"Q2390310$1DB19ABE-57BC-4D70-8C62-5B013F1A3615","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":"ce2167a4ea974cd23e6832ee22f1e4b920c74be5","datavalue":{"value":{"amount":"+0.7997055649757385","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":"Q2390310$289AD522-9D8C-4AE2-BD6B-C6471A0A94AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf6362829a471005761450390520303b5598814","datavalue":{"value":{"entity-type":"item","numeric-id":2938770,"id":"Q2938770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d6aaa7cf6cc7b5ac579b1765b9b295d43d28b16","datavalue":{"value":{"amount":"+0.7997052669525146","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":"Q2390310$5AF1AD92-31BE-4A00-B2E3-ACB519FEAF27","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":"1eb3dc9471c2af105e0cd15274d74e98c6a2b365","datavalue":{"value":{"amount":"+0.7995734810829163","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":"Q2390310$802FC62D-E214-4841-B4F7-1DA4837D60DC","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":"d873d98ed8cda39e84f3ae2505c449b904208a8c","datavalue":{"value":{"amount":"+0.7929192185401917","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":"Q2390310$0AC44B5A-F912-4604-BBA2-FB373FAE1DAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2390310","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2390310"}}}}}