{"entities":{"Q4646652":{"pageid":6676233,"ns":120,"title":"Item:Q4646652","lastrevid":82371212,"modified":"2026-05-06T20:44:48Z","type":"item","id":"Q4646652","labels":{"en":{"language":"en","value":"Continuous propositional modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001321"}},"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":"Q4646652$447145D9-74D8-4EFC-B885-D366F8795708","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9436037099c19f0c7c8587f5c5ab94eefc238dd0","datavalue":{"value":{"text":"Continuous propositional modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4646652$75E761D1-729A-41EC-A13A-8ECCB0BF04B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45d21eaf30006e2ae4fc4fb5e2662a7b6e9fc2b1","datavalue":{"value":"1436.03127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4646652$DA2A0CF1-3666-4F24-80BF-5A665680EE27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35737a0285c9465e1fd24c5334e450831294dfbd","datavalue":{"value":"10.1080/11663081.2018.1468677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4646652$DCE5AD98-B73C-45F9-99F2-743CD690083D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41727d55f4d48c1029c1bbe7a3cee1640d697b9d","datavalue":{"value":{"entity-type":"item","numeric-id":200743,"id":"Q200743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646652$93F312FA-C473-46E9-A6E7-DB221C38D71E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646652$CB860A42-4FE7-4036-B17A-53DF27A73D1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e12b45aab6c1c4f0d6536185bb54aaca2e66e37b","datavalue":{"value":{"time":"+2019-01-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":"Q4646652$6B950EEE-5A76-4FC6-BC40-90AD768F441C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4646652$F95A5F14-C47E-4E48-A9B9-3C1DE82899FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4646652$E62E521B-F4C2-49EB-B83E-D5E996ABFDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4646652$D650079B-137D-44B2-915A-0DDA484AA51C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8b5f5b5f376bf0fdd4b07d054c4f5609e7d160b","datavalue":{"value":"7001321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4646652$18A82D2B-9026-4FF5-A49E-0BAFF04D9A78","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a2a96d016586cb198f7d32c0e864c0a301f3790","datavalue":{"value":"continuous logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4646652$4710B22F-8B72-425A-BB07-60619DBB9EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4646652$F96A91E8-3278-4124-A9DF-C1C57D7AED76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9841db5686591f1494d851689a39047b517b2a0c","datavalue":{"value":"approximated completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4646652$51494C55-57A2-4876-B9CB-968213C42C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"addaa46270e871433d728b6664a6fd9b967fe926","datavalue":{"value":"Pavelka-style completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4646652$061DAC7F-1AF8-4C54-9F03-7DD9E69F19CB","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":"Q4646652$C98B640E-9B1E-4374-870B-6FE20EFC042A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cdad5d42aa890c35d3b601fc1cab835cfa2cb256","datavalue":{"value":"https://doi.org/10.1080/11663081.2018.1468677","type":"string"},"datatype":"url"},"type":"statement","id":"Q4646652$0C1CCFE6-F315-4365-96BE-3EF46EFC3E8C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aed5c609f2988ec1112df3736f2fbf88c3280d02","datavalue":{"value":"W2802109959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4646652$1E94B928-2343-4274-962B-EBD395640785","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f5b4b17a10a79ae68b5cf892396e4b60c697c00","datavalue":{"value":{"entity-type":"item","numeric-id":3460523,"id":"Q3460523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646652$8DEBD1EB-BAEF-4008-B176-DD5FFD04AD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"295aaf5809e9dba54f7549ddea06d2412cc75428","datavalue":{"value":{"entity-type":"item","numeric-id":3503614,"id":"Q3503614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646652$BC63AB29-7D97-454F-955A-0D1CB5C6E059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"516de7c1a2a6d91e822ee36cdc0100494c8e920e","datavalue":{"value":{"entity-type":"item","numeric-id":5190194,"id":"Q5190194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646652$68AD1268-2E6A-42C8-9305-FFC25066422B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bfff65a126464fc71cfd36aef4d94639f604c53","datavalue":{"value":{"entity-type":"item","numeric-id":3053471,"id":"Q3053471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646652$09637A43-A1FE-4DAD-B2A9-6B3F20243E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646652$741E60CE-5546-485C-BB84-4B613791ABD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f598ab7b5ce3304041469a2a13e78be18fa216","datavalue":{"value":{"entity-type":"item","numeric-id":1697340,"id":"Q1697340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646652$37903802-9466-4D20-8875-48825496C11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6c2a682b2e9dec9a4775e1451429ca20ffba5fe","datavalue":{"value":{"entity-type":"item","numeric-id":3989936,"id":"Q3989936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646652$CAF488A1-F8E3-443D-A686-3AB6D7ED418B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6a56147721f5558561f9dc5063b26167a3efa0","datavalue":{"value":{"entity-type":"item","numeric-id":4022223,"id":"Q4022223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646652$8CACC079-03A3-49F2-B30B-3F073B64896D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646652$092B6F3E-31E8-4401-8006-01D60C28F963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c8578012b3b86ed983646275e6747df9ccf1c35","datavalue":{"value":{"entity-type":"item","numeric-id":3874181,"id":"Q3874181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646652$8FE28C10-B920-4CC8-96AD-E2CFBD679F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"052df427476c54fbc19e09adda9b45637fb7c9fe","datavalue":{"value":{"entity-type":"item","numeric-id":3890663,"id":"Q3890663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646652$B76A3F80-58EB-4853-A382-52C4242879DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edda81673e3bb1e6c3bc2ce7894966da82a9e946","datavalue":{"value":{"entity-type":"item","numeric-id":3890664,"id":"Q3890664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646652$71C47308-A129-47DD-86C8-8AC4684BD717","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c8520b6adce4b8c40a98e2c0a65ca2e8843b7175","datavalue":{"value":"Q129832498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4646652$1B2662F3-0C20-4D9D-A928-70588F420BDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e558745ba3f58730f1b53110e00f383b7ee9acc","datavalue":{"value":{"entity-type":"item","numeric-id":1712937,"id":"Q1712937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d6cff5128b6f04dcdeaeba2271f9fe49ef52953","datavalue":{"value":{"amount":"+0.8564635515213013","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":"Q4646652$9E5E0D6F-0C2D-4A3F-8D4F-6950C47E2C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773e2fb57e2e668f8436389a619f6bcd085bec01","datavalue":{"value":{"entity-type":"item","numeric-id":3460523,"id":"Q3460523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0b49ba7340093dd48786b401404fddd92f4b5e1","datavalue":{"value":{"amount":"+0.7882159352302551","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":"Q4646652$9F29D577-3724-402B-B7A9-3B31548796D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"946de8cd87397deb04f9e1b192264c00442f0619","datavalue":{"value":{"entity-type":"item","numeric-id":2686094,"id":"Q2686094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bb1e26c17d888f2c0778e0559ba2adcd57073db","datavalue":{"value":{"amount":"+0.7798811197280884","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":"Q4646652$15B40D5C-9C21-4033-821D-9B7A7248C8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21e3c81954a2b23d8bc95849b86c3232a1273b36","datavalue":{"value":{"entity-type":"item","numeric-id":3032229,"id":"Q3032229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31f171ca252c0e2a5bcf402b63f3e5d34436ec85","datavalue":{"value":{"amount":"+0.7772525548934937","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":"Q4646652$59335B00-E4CA-410E-819D-15D55E48AFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc4c3fb468ab0d948f1ba44267d53b7063faf768","datavalue":{"value":{"entity-type":"item","numeric-id":4636037,"id":"Q4636037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db7324b16eb6f508422495b3d346f47ec6ba8eff","datavalue":{"value":{"amount":"+0.7714106440544128","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":"Q4646652$D191B56E-1F12-4026-A2D4-36EB7A562976","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Continuous propositional modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Continuous_propositional_modal_logic"}}}}}