{"entities":{"Q4391423":{"pageid":6421022,"ns":120,"title":"Item:Q4391423","lastrevid":89403575,"modified":"2026-06-04T17:16:59Z","type":"item","id":"Q4391423","labels":{"en":{"language":"en","value":"On the expressiveness of frame satisfiability and fragments of second-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1158351"}},"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":"Q4391423$5A8DF752-EFE9-4E00-BDBE-4BF339E953BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ad0835de42b971be55c7dd703bc5b9c4d032a1f","datavalue":{"value":{"text":"On the expressiveness of frame satisfiability and fragments of second-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4391423$55390E00-0C46-4F5C-AEDB-145FC1DAD47D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53fb77cdb46e970006ee9da4a79cd639c83a6a3c","datavalue":{"value":"0904.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4391423$578A39E8-B12B-4692-8494-5CAF1F351FCB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc33a2aa028e1d8a20ab7f14a016771bab9a2400","datavalue":{"value":"10.2307/2586588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4391423$C279FFE2-68CD-4EC4-AF0F-9AD7A5F255AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0e2771a73d1b8d307276d7afc6997154a7082ea","datavalue":{"value":{"entity-type":"item","numeric-id":171927,"id":"Q171927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4391423$571E5AD1-126C-440D-B90D-88356787A82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ea9f01e952d7c8681ab3cdbdd2dab7be8167564","datavalue":{"value":{"entity-type":"item","numeric-id":202112,"id":"Q202112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4391423$EEC992EB-56C1-446C-8599-452D5FD2BC6E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4391423$F77A301E-228B-4ADD-B220-450345BA5F2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5451c4336beee9334761b879ad3d3c365319b6ed","datavalue":{"value":{"time":"+1999-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4391423$C9FBFB2C-45A8-4A68-AB15-A9AF5B2A801F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4391423$B56F90EE-68D9-4A45-A34C-7D83B6CC0E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4391423$EC8D350C-1518-434B-95B9-0F3C63706CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4391423$3964D9BF-D525-4724-A2BC-0E6740866E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4391423$9A80A8F1-CF22-412C-8AFD-473B088F5C35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"568fa00315ca5d59ca5512260cc3660ec679d81e","datavalue":{"value":"1158351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4391423$10169AD2-B819-4F9A-B257-7B08998ED0F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69e4ea30093d8fa32dfa08d62053fb8ff3268739","datavalue":{"value":"descriptive complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4391423$0106624A-10E4-49AC-AAC5-6F017D984DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29039e9345a023d31ee296ca14bca4d8c6aeafda","datavalue":{"value":"Ackermann sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4391423$D8D805AC-1DC5-435C-A87E-893C626BE296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2385ff72f13c716e6a4a7cd8f5db07a2fb4c3211","datavalue":{"value":"Bernays-Sch\u00f6nfinkel sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4391423$E9E6C248-C922-49E1-8F63-A624758BF0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4391423$D42FB269-08AB-474A-8DCE-5A5B307DAF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q4391423$9809598C-FD41-4410-9DA9-4E1C0C2CAF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c97b91a6489425daba9643dfbdaa45dd0477ea71","datavalue":{"value":"fragments of second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4391423$276CD2A1-1E40-40D8-9164-F93206C3A40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1f9cffd18fe4bc8fecd35eb209e3dd8c324b86","datavalue":{"value":"finite structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4391423$61A68F37-1E94-4F8E-BE00-D9143AF72B4C","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":"Q4391423$19CAB433-BB81-46EF-BD9A-915ED076D5B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbec3b64127ab1395d43bbc19ef14c2b463754df","datavalue":{"value":"https://doi.org/10.2307/2586588","type":"string"},"datatype":"url"},"type":"statement","id":"Q4391423$A26501BD-8E9E-4817-950B-8691D6D89B8A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd30ae7df5d6c220e83b2e217fa563a71bb6f609","datavalue":{"value":"W1986690595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4391423$4C4A6F83-2E5F-446E-8CD4-E779FDDE1032","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e0c9fb5fa626e4d501dd510bcd2f95ebbda7cc","datavalue":{"value":{"entity-type":"item","numeric-id":1919763,"id":"Q1919763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4391423$006716FD-F55C-4359-AB37-954C9E677F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4ff9c0bc839db785d823b1defade22b16954cd","datavalue":{"value":{"entity-type":"item","numeric-id":1123616,"id":"Q1123616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4391423$9994FF99-30E9-4DB8-878C-69D66FCF4853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b051bb91a42a31736fdd8d09157004cdcec793d8","datavalue":{"value":{"entity-type":"item","numeric-id":920075,"id":"Q920075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4391423$EF6E8F4A-A392-4B37-B599-8224A5E17000","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789533f0d21b6baa5a5f1a3b29c676f9bb3be91f","datavalue":{"value":{"entity-type":"item","numeric-id":4783312,"id":"Q4783312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43c343a6d1b3b3f612dd793a04321da6f199ce96","datavalue":{"value":{"amount":"+0.7719743251800537","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":"Q4391423$ABCFEF8C-B0C4-48FC-9B4A-9D7C264E69ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbf446e729c2ae15b32d7b70132cbb22d8715b07","datavalue":{"value":{"entity-type":"item","numeric-id":1193408,"id":"Q1193408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe863a2ba5e46d3bbbb926f0e52f97606afb6ce6","datavalue":{"value":{"amount":"+0.7637611031532288","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":"Q4391423$D294E5AA-85A4-47B3-8F11-28490C97F87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"145e16102924489d49fb4c46ee8eede861d58952","datavalue":{"value":{"entity-type":"item","numeric-id":920075,"id":"Q920075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a316ec5e2683ee82450d97614f7f49135860f3b","datavalue":{"value":{"amount":"+0.755444347858429","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":"Q4391423$447A310D-C5EC-44E1-86BC-98123B757353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab5bc4e7ab5e744d3041a47d0969255471ea5dc","datavalue":{"value":{"entity-type":"item","numeric-id":2499295,"id":"Q2499295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afa62763e0b2dacac90bb137b5b379d7dce5683c","datavalue":{"value":{"amount":"+0.740431010723114","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":"Q4391423$5DE2912B-73C0-4E8D-9DE2-9A70884DA6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e65a427c28b570dcfc1dfce65a15bea7b4410ab","datavalue":{"value":{"entity-type":"item","numeric-id":2747711,"id":"Q2747711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cdc379899ab5dd249b6c50012935eac64c42141","datavalue":{"value":{"amount":"+0.7355769276618958","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":"Q4391423$D6EAE828-FE88-45B5-BEB7-0E89172CC7BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the expressiveness of frame satisfiability and fragments of second-order logic","badges":[]}}}}}