{"entities":{"Q2499295":{"pageid":2510038,"ns":120,"title":"Item:Q2499295","lastrevid":49892329,"modified":"2026-01-11T17:15:47Z","type":"item","id":"Q2499295","labels":{"en":{"language":"en","value":"Expressivity of second order propositional modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5045639"}},"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":"Q2499295$88DE7E3D-39F8-457D-9C41-0BF71B2B119E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93418c1f168fb2b6c133ef5fed0d04043e94e13d","datavalue":{"value":{"text":"Expressivity of second order propositional modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2499295$1E6AFBC4-D246-42F7-A7FC-63CCC6C61741","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70f03c134db5367ad269eeea5c3313c17f8d62fd","datavalue":{"value":"1106.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499295$6E58B90B-C591-41A5-AC60-D24CDF98115D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a531f2e925d43508482b1d4b7ad4f917bc51fb11","datavalue":{"value":{"entity-type":"item","numeric-id":269314,"id":"Q269314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499295$945E6001-5B73-44C4-BB64-35A19476B7A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499295$85CEF841-61C9-4EFC-A0C2-3615FE2AE647","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d16893a2881e21dd54b3d85e13a15572e7a543f","datavalue":{"value":{"time":"+2006-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2499295$32E7E4BE-FCAA-4476-8B37-3A1B428D862E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499295$FE446A43-4935-4084-94E4-6481E904A984","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"954b2d09253c173717f2663e02bb0e9757ba84b6","datavalue":{"value":"5045639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499295$AC99BA11-B14B-4C03-808D-78F97A56F289","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f797978986a166e5aaa818c2311357949abbdb","datavalue":{"value":"second-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2499295$28BD160B-B233-4422-AE61-B87F60C7C395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fe5fd4ad4b27a13cd8f0190c4e682a5deba6409","datavalue":{"value":"propositional quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2499295$53832042-2BD4-4F8F-B39F-6F8685378E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q2499295$40F42212-E43B-434D-8746-902899D6313F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d46d29575d6400052b2ceea982356fc99a931b0e","datavalue":{"value":"bounded fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2499295$402626D1-122A-4B62-865D-C3AD9F2F3098","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":"Q2499295$D1C55398-80D4-4A34-BBAF-BD1699D6E611","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1bfa3e9f3582fbe85a6863badfd10c40cb6b8a7","datavalue":{"value":"https://doi.org/10.1007/s10992-005-9012-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2499295$882716C1-DE2D-48A4-AF20-4395EADCF535","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a48ff574ca6daeaf4cd29543d546e6b8548c14ea","datavalue":{"value":"W1969118410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499295$E1BBE3FA-3213-40EE-931B-E600B328A341","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499295$93D2B1BD-0122-4E6D-B8FA-967A1A27B7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b2b2b4b4f1a92baf1f6a56d683fcf7f04e7ec66","datavalue":{"value":{"entity-type":"item","numeric-id":3318752,"id":"Q3318752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499295$ABB96ABE-0E4B-446E-B38B-358BC76EFF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7a67bd6f585724b4cae473123038420d16331b","datavalue":{"value":{"entity-type":"item","numeric-id":3160549,"id":"Q3160549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499295$E877C751-2C69-41C4-972E-CCA55BF93428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a92b4f123fa4e9d402c12a53dc896b2f39e4867","datavalue":{"value":{"entity-type":"item","numeric-id":4357061,"id":"Q4357061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499295$E67EA622-F57A-4681-BD1A-F7FA6B57FCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94335b6198a4660e05410711e1402e65450c3673","datavalue":{"value":{"entity-type":"item","numeric-id":3370762,"id":"Q3370762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499295$41F67EE4-B185-47CC-BE5A-EB5AC126ED10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2853a1afff2fa52921b6bce366d86931777cc23b","datavalue":{"value":{"entity-type":"item","numeric-id":5544276,"id":"Q5544276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499295$CD51B719-5F86-4174-9C7A-9EC9E3F7BB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d48aafe511c3d70836530bc562f0f9a106bd757c","datavalue":{"value":{"entity-type":"item","numeric-id":5642556,"id":"Q5642556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499295$362F3ADC-B808-43A2-BD38-FE145CE8B9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e52f372fafe719de5108c59e0672833ae8788a32","datavalue":{"value":{"entity-type":"item","numeric-id":4055622,"id":"Q4055622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499295$3FC8D1A1-393B-45F5-BA6E-0A68B9622813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e89b483200a7d036cee9a4183206659625b1cbda","datavalue":{"value":{"entity-type":"item","numeric-id":4068700,"id":"Q4068700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499295$8CD9119E-443D-4350-9A78-DBA5D271F0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002460162e95ba276012863faeb6722ea601f64","datavalue":{"value":{"entity-type":"item","numeric-id":1924326,"id":"Q1924326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499295$249A7A8A-70E1-44EA-A338-A47053302499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"121c2b77a2e6f0b6bdb52f35e082e117e95f7c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5287696,"id":"Q5287696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499295$0DC4FE19-F7A5-4BE1-9603-B89F5F5EB851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adcd56a0617efad5383d484676cc25701bc6e22","datavalue":{"value":{"entity-type":"item","numeric-id":4358053,"id":"Q4358053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499295$BFF5BA6E-E1D2-4D60-A509-3DE4F3E6109E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8a25b8d6d0cc799530bb65e240edadb10ab7c","datavalue":{"value":{"entity-type":"item","numeric-id":1886323,"id":"Q1886323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499295$102F51DA-B0E0-451E-8FE7-0710789CE23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499295$B1961AD7-ED16-486A-8A80-BDC4156E69A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f3b36e45a31288b3dd6ddfb73cc1274e47054e2","datavalue":{"value":{"entity-type":"item","numeric-id":4440830,"id":"Q4440830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499295$77FEE28B-8EC0-43E5-816D-64B1F2C42912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb31a4d62b5fdee2a7225c8d98c6eb3229564b1","datavalue":{"value":{"entity-type":"item","numeric-id":4065515,"id":"Q4065515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499295$D5BA335C-972B-4D6C-83D7-1F4D0D95C20D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7d27fbbb2f0aed7d36dad668ee6977afefbf959","datavalue":{"value":"10.1007/S10992-005-9012-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499295$15E329C0-5181-4E42-8214-84DE13C3CA5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2f628b48803ccaf43238230d07a1fbbccec6cf4","datavalue":{"value":{"entity-type":"item","numeric-id":1924326,"id":"Q1924326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a3cd218be665c9ccb01a66eb02b245ac991ee0a","datavalue":{"value":{"amount":"+0.8686407804489136","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":"Q2499295$20C2B87A-1B38-4605-BB18-7D36C3C56538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1ab52ade56f29950de1deb9bbcf0f11b992e0be","datavalue":{"value":{"entity-type":"item","numeric-id":3185766,"id":"Q3185766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a3cd218be665c9ccb01a66eb02b245ac991ee0a","datavalue":{"value":{"amount":"+0.8686407804489136","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":"Q2499295$930AE598-1BEE-4EFF-9B4C-042CE5895A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df18e32cb866610bafd8f3cf31f6ee81c97a6bae","datavalue":{"value":{"entity-type":"item","numeric-id":466445,"id":"Q466445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"932c771bb9a37a0f957d750a830056f1816592e3","datavalue":{"value":{"amount":"+0.8507717251777649","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":"Q2499295$BE5CC64F-C771-4194-BA6D-61F7C0D108CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97473340d0cf76b48d9635a8aef94637fa2b713b","datavalue":{"value":{"entity-type":"item","numeric-id":4779649,"id":"Q4779649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"552bd17215dba5394f0b1d6fc9af54538c0e7fc2","datavalue":{"value":{"amount":"+0.7888609766960144","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":"Q2499295$FEF941CD-DC56-414C-8193-3644D0857480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e6a0c6c4fe0575a508981bf3e7a50a9eeeecde3","datavalue":{"value":{"entity-type":"item","numeric-id":2055931,"id":"Q2055931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"450804b17745d0dac2b321acc5dda9581b9f13b3","datavalue":{"value":{"amount":"+0.7877514362335205","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":"Q2499295$3423B3F6-982E-4F1B-8A64-FD2293152863","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2499295","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2499295"}}}}}