{"entities":{"Q4292605":{"pageid":6322206,"ns":120,"title":"Item:Q4292605","lastrevid":46337508,"modified":"2025-12-24T14:35:59Z","type":"item","id":"Q4292605","labels":{"en":{"language":"en","value":"A quantitative analysis of modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 569564"}},"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":"Q4292605$A0EC47F8-07E8-491D-A517-92F3A9DF1040","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5caf2cb231b4008bdac8ba0644beeb7ba85af564","datavalue":{"value":{"text":"A quantitative analysis of modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4292605$DD91C413-FF3C-4FC3-B9E2-04F75BF0715F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4adf5865fd0ea43608c73d4f5da1c0d0c1a78e0","datavalue":{"value":"0806.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4292605$C3F48FDF-DC89-4F40-8A11-F6A0E9400265","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2598afbbc1795ac2b16f5110fc1b2eb80a670f4e","datavalue":{"value":"10.2307/2275262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4292605$4AF0964D-D54C-4775-ABE5-4F0A6A54F7A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"501919793d5a7682fe5d33dabd63127f0c90af27","datavalue":{"value":{"entity-type":"item","numeric-id":388219,"id":"Q388219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292605$8765CD1C-76E5-4809-88B2-9A92F555BDB4","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":"Q4292605$E6819098-4DF8-47A5-BC11-8269E1DCA067","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38c18755801a88dcd8669b172a905f586b29f555","datavalue":{"value":{"time":"+1994-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4292605$F39F8745-48FE-4496-9248-C7D3F3F7D8A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4292605$5B8E7A9F-A0E5-4261-B9D3-EA6E336639EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4292605$C4CC71AD-A4B7-40FD-B8AC-BDBEA99F99E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66cac7cc5d192a5368aaa597e0fd960ad4866b41","datavalue":{"value":"569564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4292605$80B97AFE-70B0-405E-A8AD-EA7E830CA498","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11f4e2dffa968362e34a45eea585222bae2adba6","datavalue":{"value":"multiple agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4292605$D2D35797-8DA1-4ACA-BE1F-5C3D11C3CDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4292605$9AA1CEBE-B6B2-4F49-B470-82E80850ED6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ea9d919d165bc363679b58694930125e154d20e","datavalue":{"value":"Kripke-style semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4292605$3B2F26FD-EBB6-45E5-86BB-3D3AB661F934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4292605$EE22EAB0-ADB5-40B7-A5B7-12BC7384DC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29cdf44c0df1c7502712aa26b1acdf0d395e3d8","datavalue":{"value":"modal structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4292605$870485C9-3579-4B5E-9AA2-A2EF3F07CFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000d054838ba79f1c83227281d29722f07d85a76","datavalue":{"value":"Kripke structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4292605$82B6DA2F-667D-4F83-BFF4-58E47F311E10","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":"Q4292605$B1DADA7D-994D-4D10-AA01-35C9C830E74A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56d3b5f7d49d960297ef29973b4b534d4b343f76","datavalue":{"value":"https://doi.org/10.2307/2275262","type":"string"},"datatype":"url"},"type":"statement","id":"Q4292605$68922E9B-8287-4136-B9F0-730B898A9378","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1fd2af10215cce1657da291babbe442be56e7d7f","datavalue":{"value":"W2051167594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4292605$483A3C01-AC1D-4A74-AFC7-DE9ECC519C35","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e341f9b351965a3e26d02ae2f2e2d38fa74c947d","datavalue":{"value":{"entity-type":"item","numeric-id":1060139,"id":"Q1060139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292605$1702809C-6264-4281-9019-AFDC3DCD5E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2418b8fb5308a40363fb7ee1a8cbe2ea0a42c8","datavalue":{"value":{"entity-type":"item","numeric-id":5819415,"id":"Q5819415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292605$F8201F1F-E20E-4FAF-B2FC-1BA1CFA74674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add9119b5d5b905244f270410e2062630c92f205","datavalue":{"value":{"entity-type":"item","numeric-id":2542272,"id":"Q2542272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292605$421B934F-093E-4560-9CD9-A8D65ADC2368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292605$7A537A63-BF5A-4965-B617-D86A547AFE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65004c290e3f0ea315a4c52f604a40c6749f75","datavalue":{"value":{"entity-type":"item","numeric-id":1155599,"id":"Q1155599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292605$095038E2-215B-4FCF-9BC2-E4A01F0DCD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292605$15344C06-F1C5-46A7-B2F7-9821147A9B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40386c3b6cc68a23d3568ef5a9a92f0e9d8670fb","datavalue":{"value":{"entity-type":"item","numeric-id":1354024,"id":"Q1354024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292605$02007FC4-34E5-4640-9F37-44DA7023BCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b4a5481d2ba20db96403c8a94b2eeed3801b42","datavalue":{"value":{"entity-type":"item","numeric-id":3477999,"id":"Q3477999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292605$49E9CC4C-9632-48B5-985B-C9F6DFC8AB9C","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":"Q4292605$BC0A241F-EB8B-48A9-8FFF-12C126FAD0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4b9cf7e651a575d29d1d99f98795d4aba044aa4","datavalue":{"value":{"entity-type":"item","numeric-id":2555060,"id":"Q2555060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292605$7FF85598-A751-4B36-8A9E-E15F741F7DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292605$3920D0A6-5A0E-466D-B09F-120F33923686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292605$B2DC7B9F-247D-4344-A403-4D464A3B7C8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e456e3d336924c568fa2b0fad86960a900024246","datavalue":{"value":{"entity-type":"item","numeric-id":5419886,"id":"Q5419886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"160d8d38acdf7bfb2b173cc6c794607e8089b902","datavalue":{"value":{"amount":"+0.7500046491622925","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":"Q4292605$F9704B50-8857-4644-B26E-E44A80FC784F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653fe1112689f386e4237115b2f7a8af7d77fda9","datavalue":{"value":{"entity-type":"item","numeric-id":5249675,"id":"Q5249675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5accb10f39a5be02967589da09ce3b71653c3e4d","datavalue":{"value":{"amount":"+0.7475578784942627","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":"Q4292605$A0961260-A0C4-4D04-B30E-390947C830C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d74246a2f20e75ba054e109726caf51a6c35ebb3","datavalue":{"value":{"entity-type":"item","numeric-id":1286688,"id":"Q1286688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc2a7e5d1f4c50c13a5cc29573128abddfc504cc","datavalue":{"value":{"amount":"+0.7362319827079773","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":"Q4292605$46537477-8D9B-4322-9780-DF7BB6CFE45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"857e5bc6d5d3069a2685ed85f530b7ab45fccdab","datavalue":{"value":{"entity-type":"item","numeric-id":3647226,"id":"Q3647226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c2e527330ba9740ea64509fce158ea67fe1f41f","datavalue":{"value":{"amount":"+0.7354990839958191","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":"Q4292605$577EC568-A5B8-4D58-898D-9825D03D0D05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4292605","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4292605"}}}}}