{"entities":{"Q5883183":{"pageid":7912734,"ns":120,"title":"Item:Q5883183","lastrevid":101947472,"modified":"2026-06-06T03:11:31Z","type":"item","id":"Q5883183","labels":{"en":{"language":"en","value":"Possibility semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7669413"}},"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":"Q5883183$E43B6472-3BE8-408E-A6E8-29E87DB22B4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"217eb5b070cd46adbf3614484e226982cafa2646","datavalue":{"value":{"entity-type":"item","numeric-id":256786,"id":"Q256786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883183$FFF872EF-E780-488D-969B-BA74DA524221","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9392fc1373ca37dd9973a2f3b99144329cde46b8","datavalue":{"value":{"time":"+2023-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5883183$D9294C59-9038-4F81-A0DD-594250D9E059","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883183$6C1EC549-7F90-40CA-A0AF-3AB6251F6AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883183$883EEBDD-33B2-4FD4-B854-16AD9082E423","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5b984227ff63a9583b237cc99f2947fa3b0bbac","datavalue":{"value":"7669413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883183$6EE4A5C3-5A9B-4868-89F3-FFE784844135","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883183$FA9C2055-CA26-44C8-91AB-B1869854D9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883183$C2ADA27F-B188-4B9A-9CF3-E3274398BD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883183$6A3353EB-E73B-4CE9-A8DD-46C0FED26157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883183$4D9FEC85-A522-418B-AB81-4D9DE165B5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a49626e8a7507c18b6d579b399cf23e3f34b52b3","datavalue":{"value":"inquisitive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883183$83676F47-6F3B-4F27-9085-CF7BFEF08A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883183$7194F1C8-7450-492F-B68F-5F97C679C5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1befffea682027b86003cf3f1cab8c6e3528e76","datavalue":{"value":"regular open algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883183$C0698C61-6D6C-4E4A-AFAD-61AA73326602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f47126f6a1175659a3d9037139060f56797a0e0","datavalue":{"value":"canonical extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883183$FDD81E30-29BA-4F2A-BE7B-11B768D47C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ddc38e96760d2e8fa65a795ad39825f178006a0","datavalue":{"value":"MacNeille completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883183$B0D56EC7-9BEC-4EAB-86AA-5B7278FC86F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883183$C5F08DBE-7919-4B6D-A3BE-133DF6823248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea5637c0809f4bbeea66bd3fe34058bbb3109b2","datavalue":{"value":"Stone duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883183$8432CED5-7981-4E22-B1DD-1D3CC554219F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f1f60cf51a9bbaa8c7535bb288b74f59430855","datavalue":{"value":"possible world semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883183$2838A8F9-A51D-426B-87D8-F9F46A318B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911a1184887175467405cdb9bb5a997d6b5c9c08","datavalue":{"value":"Kripke frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883183$48FE0D93-4657-4A63-9CA8-D01F42C15B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883183$CAA1C364-6711-41F4-A404-B37CB5389CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883183$60FBE2CB-F72F-47CD-975F-A72549700DDA","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":"Q5883183$31941C60-163D-43D9-A9B9-E1A2177F5574","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca0005a99c2fb34523cb249f79984559ef4f9c7c","datavalue":{"value":{"entity-type":"item","numeric-id":4830367,"id":"Q4830367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"554f25ce1e236f53fa914855d5dd6e129334e89b","datavalue":{"value":{"amount":"+0.8103571534156799","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":"Q5883183$6C5236F8-58E8-4BFF-8E4B-C107CA090BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27501b44f78a5aa2a0f179ff89fff70739477196","datavalue":{"value":{"entity-type":"item","numeric-id":3133167,"id":"Q3133167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a71b9c26d5f5959416ff1cfbeec301565e2b84dd","datavalue":{"value":{"amount":"+0.7804943919181824","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":"Q5883183$63323C51-EDE5-41A5-A109-FE959FEB27C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30cea000b66028dac1bc8996543ab6acadb113a8","datavalue":{"value":{"entity-type":"item","numeric-id":2500773,"id":"Q2500773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39006c19c6fa35bff8933b42c94b42aae699f73b","datavalue":{"value":{"amount":"+0.7765735387802124","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":"Q5883183$EA6D7ACD-0CF5-483B-902C-9AF5EF12CC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70eea5c7b1a896d2c301b2c88d723366fa8bd666","datavalue":{"value":{"entity-type":"item","numeric-id":4636300,"id":"Q4636300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b9bc3168b7c260b9f1e97d388c834c8dd708b9","datavalue":{"value":{"amount":"+0.7685253024101257","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":"Q5883183$D9567AC9-23D1-42F1-AFE2-BBB9D0742708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b1e92920ae415edef38ce27ef66111c6f89e46","datavalue":{"value":{"entity-type":"item","numeric-id":2908759,"id":"Q2908759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f84539e915ffaba9fd1730c74d28d6601f563e37","datavalue":{"value":{"amount":"+0.7660335898399353","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":"Q5883183$BD13C42D-D847-4FEB-BD43-86EFEB421A48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Possibility semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Possibility_semantics"}}}}}