{"entities":{"Q5937832":{"pageid":8114634,"ns":120,"title":"Item:Q5937832","lastrevid":97645121,"modified":"2026-06-05T15:09:42Z","type":"item","id":"Q5937832","labels":{"en":{"language":"en","value":"Uncompactness of stit logics containing generalized refref conditionals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1620827"}},"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":"Q5937832$AAA2D5C1-B69F-4B5D-8BED-ADF3CEE8CF50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"604271536317f2bc3fe16279457f9c906f2ebdf6","datavalue":{"value":{"text":"Uncompactness of stit logics containing generalized refref conditionals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5937832$B4F792F1-70FF-4882-A4A9-77E42CD04E92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dea5309c1885582df25f6a8afb9d352205c40cc1","datavalue":{"value":"0966.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937832$7BE16589-BC02-48B3-AC86-A3FDA891C6E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67332dcf9d0b14789153a9fe79309244fc944be2","datavalue":{"value":{"entity-type":"item","numeric-id":190309,"id":"Q190309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937832$627E3F82-D6BF-4CC8-8B56-D83E2E471737","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937832$9CCC5D54-98AD-4EDC-A80E-AE372F3F167A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb916ad91e9e27f9d11a7b9fee5e1117f9d898f2","datavalue":{"value":{"time":"+2001-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5937832$52AB8F44-2B8F-49AC-BAB7-DB17851F810D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937832$5A76DE02-0804-4322-9A41-5223BF723E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937832$C6B622D9-D797-4336-B78D-B4F81C40DEDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb2dbf2cc5787e0b1b34727d5fd195a11cbe43f7","datavalue":{"value":"1620827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937832$97C56015-29B2-4920-A28B-0DC20DAD8CC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb6403bb7d081fe812ee769262d4e3ca61af6197","datavalue":{"value":"modal logic of agency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937832$FB9A62A7-8CB6-4BDE-9F29-6EA34CC79DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a340c063f88cb9253c2c743869f992e46c31472f","datavalue":{"value":"stit logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937832$AA142705-5BEB-4004-87AD-67A8932FB54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bf304c5288a465f6ecb383c87bf3e0295b244ff","datavalue":{"value":"generalized refref conditional","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937832$D6E74841-18F0-45FF-A844-17831EF66CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"770b1fe62c713a473c762eb8b88b1b98b73cb6a7","datavalue":{"value":"busy choice sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937832$714CA884-37AA-4B1B-A252-068CFB2B2191","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":"Q5937832$7C3FFF9F-E719-41F2-B47B-7A6D5ED3E39E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32c2046917e8e6dbcf6d9dcc026cedf44745f9f1","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1039118864","type":"string"},"datatype":"url"},"type":"statement","id":"Q5937832$B3246D0A-4D23-435A-B1B0-34722EF11971","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e2724bc61e6ee8eb339449cdcf47406602f52fa","datavalue":{"value":"W2014579021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937832$C87A2FCE-61D5-4528-AB3F-518D883739CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d29f9444dd5f12e34ee0221426b9175efb3074b2","datavalue":{"value":{"entity-type":"item","numeric-id":1353841,"id":"Q1353841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937832$C2DF2095-CA54-497D-BF80-48D7F98682BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8499fa134124d853fcfba1275df4aef32a23c2c2","datavalue":{"value":{"entity-type":"item","numeric-id":1207431,"id":"Q1207431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937832$97D2248C-43FA-4774-AB46-601E9202D9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cf81f8783b1c405c66a35d9b410601e61a74f0c","datavalue":{"value":{"entity-type":"item","numeric-id":1353843,"id":"Q1353843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937832$FB15A7E7-64A6-4B0D-B40A-E1186AE9EE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"591f515395370fafe15c517dc7d5b4efec8bde05","datavalue":{"value":{"entity-type":"item","numeric-id":5668436,"id":"Q5668436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937832$5CFE59D4-71AF-41FC-A29F-DD5D766104F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"345dfb6ff379f3e2a8f30286132c1518f3eb35c0","datavalue":{"value":{"entity-type":"item","numeric-id":1107508,"id":"Q1107508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937832$0EC63C8E-135A-41C1-AB02-E4C7E0DECA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b3e7554c5b9ad3a018588230332941dd1bfea0","datavalue":{"value":{"entity-type":"item","numeric-id":1207433,"id":"Q1207433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937832$58BAB4A9-695E-436A-ADFF-83356C466717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec842f244293bbf8375f7e382cf748a52233713","datavalue":{"value":{"entity-type":"item","numeric-id":5567827,"id":"Q5567827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937832$8B69D792-1EF2-432A-8E80-D66CF561904E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b05b1c2dea044e244f58590c8afd2c2bc7773b","datavalue":{"value":{"entity-type":"item","numeric-id":1908789,"id":"Q1908789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937832$8D2B1518-1C30-41B7-80D5-090512660682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"223a9e00ee221c36aeb4d017d6b5523a198c4a73","datavalue":{"value":{"entity-type":"item","numeric-id":1292991,"id":"Q1292991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937832$0AECCAD9-ED94-433A-A267-DD971508688C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8394779242df5e11b4f2bb1a6e8c0760b8d9f561","datavalue":{"value":{"entity-type":"item","numeric-id":5422030,"id":"Q5422030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937832$E3EB96E3-FBC8-4B78-B195-73D2F10FB8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8261e58a12119ae17be8431dce68f8e58905899","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937832$27EA29BD-8B7F-4966-93F8-B903789ECA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937832$C8E12EEB-A494-45BA-B78B-C2C8AD608D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937832$912DBA47-8DB3-41AD-AD62-E97D4F0315EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b9c27895a05e7efc0ba11535ec69bb37bbaf67f","datavalue":{"value":{"entity-type":"item","numeric-id":4518419,"id":"Q4518419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937832$B8B4E7FC-A714-4A34-B22F-F1EEDA580998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc1dc09cfac49f6e8dfd3eb299ae3a7ac46b815c","datavalue":{"value":{"entity-type":"item","numeric-id":1207426,"id":"Q1207426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937832$C70F410B-3941-413B-B354-2B72EFDEE0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b69c529aa4cdc161a262c7206b047f9e8638ab","datavalue":{"value":{"entity-type":"item","numeric-id":5686018,"id":"Q5686018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937832$CEE4C43E-99CF-458C-BED6-9677E2A306B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7149b5c6ff43b6cd0d6c5f6709ff45f6ee1452ed","datavalue":{"value":{"entity-type":"item","numeric-id":4342095,"id":"Q4342095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937832$555D14B5-D8E5-4EA1-939D-5A5FD0F58803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8515414e75e094937d6e5df3b3292f9b8bcc8d2","datavalue":{"value":{"entity-type":"item","numeric-id":1310622,"id":"Q1310622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937832$33EBA5EC-201E-40AD-B010-4D9C438C3DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3100c806b24e474fe9b6e5cd6369626c2f1026","datavalue":{"value":{"entity-type":"item","numeric-id":4032660,"id":"Q4032660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937832$F031E768-2FFE-4158-9ECD-CB84A685886D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1157c934850e1d675264a7fb14fa2da38162aa5","datavalue":{"value":{"entity-type":"item","numeric-id":1327485,"id":"Q1327485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937832$F202EC75-5622-4523-8A98-FA49204CA639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96eb977b973e44d25ea6b7456c27c68084688071","datavalue":{"value":{"entity-type":"item","numeric-id":1337507,"id":"Q1337507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937832$FF1362D5-1343-47E7-B7AA-D7FB9CE780A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d96d12b9bc7c43ec8f09e67fd9dbdaf9c859a01","datavalue":{"value":{"entity-type":"item","numeric-id":4518432,"id":"Q4518432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937832$9F6F28ED-25EB-4DD5-95AD-C5A41DE48A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d84fd0ff912d6bab04c35a5e7e169b8a93d812a","datavalue":{"value":{"entity-type":"item","numeric-id":4842624,"id":"Q4842624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937832$EE859C03-B55D-496C-9163-E852D9C97B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"370615f85108845dd1bbf09662ab0b6979608ba3","datavalue":{"value":{"entity-type":"item","numeric-id":1893121,"id":"Q1893121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937832$FC4FD40D-EFA0-4AAB-B317-F71EA5A72393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7cf4932f95d814d7aa9ccb0e76145cb7214501","datavalue":{"value":{"entity-type":"item","numeric-id":1272834,"id":"Q1272834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937832$5B549897-9246-485A-8961-A3B756B3622F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2ec53cfa156a94d2094fff5c8dbeb89bda5df6a","datavalue":{"value":"10.1305/NDJFL/1039118864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937832$0A0C8F93-522F-4D58-B306-BE1D420C3850","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b78a2877735f32e62be5e223ed2da5d32d0eaaf","datavalue":{"value":{"entity-type":"item","numeric-id":4842624,"id":"Q4842624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"830ddb831963832cce40becbe3cda28e4f9ff267","datavalue":{"value":{"amount":"+0.7276904582977295","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":"Q5937832$53AA15AC-BB7A-46BC-92D6-D82CE2176184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698ca8f172b27dc29a7afa00e7e7e685017d6f2c","datavalue":{"value":{"entity-type":"item","numeric-id":1928487,"id":"Q1928487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"569237306030f42d0961c4ec996d4f20240291a8","datavalue":{"value":{"amount":"+0.7276052236557007","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":"Q5937832$58D0427B-FF4B-4A7D-87D0-0BC5A93BE94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d4e941c5fd7f512f8c001285808dd63c3a35ed2","datavalue":{"value":{"entity-type":"item","numeric-id":1327485,"id":"Q1327485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12cc2eee1737a4aedd2eb7420a57600efe5e1700","datavalue":{"value":{"amount":"+0.6925579309463501","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":"Q5937832$19B011D2-1C3E-4608-9903-A90852B84428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b8a19e481bbdd44ff7f95cfd8b1bf4190a7ea9a","datavalue":{"value":{"entity-type":"item","numeric-id":3086943,"id":"Q3086943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6713383bcc8705abe0938a4e2ef5d5a6ecc8445b","datavalue":{"value":{"amount":"+0.6925578713417053","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":"Q5937832$C3A60808-2C70-4200-9A14-13B01D35D161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73de6618ff0ea8033efdfdcd97da9f1c658ee07e","datavalue":{"value":{"entity-type":"item","numeric-id":1823924,"id":"Q1823924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ba8db3a923464dad1e54ccd4cea70964ec487f0","datavalue":{"value":{"amount":"+0.6856449246406555","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":"Q5937832$5CE29933-F190-4367-B10C-3E093099C022","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Uncompactness of stit logics containing generalized refref conditionals","badges":[]}}}}}