{"entities":{"Q1633238":{"pageid":1643979,"ns":120,"title":"Item:Q1633238","lastrevid":71023914,"modified":"2026-04-13T18:59:14Z","type":"item","id":"Q1633238","labels":{"en":{"language":"en","value":"Partial semantics for quantified modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6995865"}},"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":"Q1633238$9416C8F1-6FF5-4143-99CA-FC58B2ED7674","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"496e0b38d03f6741f05bf1c5f58fe16223fb0687","datavalue":{"value":{"text":"Partial semantics for quantified modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1633238$90857A11-A32C-4CE6-ACBB-E492B60DDEAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39989cc88bfa52d3c768fa11612eb3c0778d8e62","datavalue":{"value":"1457.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633238$15F69C54-6ED9-436A-94E4-4983B0575AB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"241635a5d5bbc2b09963c276de76a29e8688dee0","datavalue":{"value":{"entity-type":"item","numeric-id":777947,"id":"Q777947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633238$CE6AB3C3-8B27-4148-B2BC-A900B1DB6CCE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633238$C4F2AF4D-C983-44C9-AB66-DB89707E9539","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c296dc942095780fd978c23996e3fd2f242983e","datavalue":{"value":{"time":"+2018-12-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":"Q1633238$E6F79451-2691-48D9-9882-39A400403CB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633238$C6D4459B-F8FB-4E44-9E65-633C7ADDE9AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fb04a4e5feabd54846682a3fd5a44ef0480381a","datavalue":{"value":"6995865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633238$8304D40E-8428-4741-85EB-92FAC8A4136F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527def781fe17e70652b5ba1af79e59518042825","datavalue":{"value":"quantified modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1633238$F22252E9-F684-4DAB-9C73-3A4B23B65F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bd24dd4588f7466e5e72f0f51a7a971a139a912","datavalue":{"value":"varying domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1633238$D7B26589-A9F2-45BE-8A84-6F0B4C49802D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1633238$0FCEB171-AB99-41A0-A015-B391DFCC4C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d2a69137098850450d1a17ddf83d6c1a1704d1f","datavalue":{"value":"existence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1633238$415F3EBD-F3AE-4750-9B12-BF98E6029D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26ae5da2c9345238250d61e00e734ca93685682f","datavalue":{"value":"partial semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1633238$3D972886-DF17-42FF-B42D-500A4693178A","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":"Q1633238$1C26181B-7A4D-4419-9BE3-504D8C0CDFA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c57fae377fffba4f228e89e7d4c3299ed170fd46","datavalue":{"value":"https://doi.org/10.1007/s10992-018-9461-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1633238$6D5E4CB4-7572-412A-8FD2-19F00D68D838","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c942a26ce078425214241bb6ae55466f68e53dd2","datavalue":{"value":"W2800960905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633238$E41FACBD-B4C6-4251-B8CB-529B73D97B53","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633238$28AB5516-B99A-4845-BEC4-1C89B09028D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9a06043cabfdf1bed4266f0e66e1ffa6ee1ecad","datavalue":{"value":{"entity-type":"item","numeric-id":4570895,"id":"Q4570895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633238$7B295E2A-5D45-435C-9EA9-2C77FB3D9099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633238$6FC499B6-804A-4C07-97E7-44456C15A957","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59543b13e13967b5674ef714d8dd8886d7436f28","datavalue":{"value":"10.1007/S10992-018-9461-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633238$6F031596-E6F1-4346-9BA4-993D876D2A75","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ba1b377992dbecbd6b4c271252338e77edacf57","datavalue":{"value":{"entity-type":"item","numeric-id":4295247,"id":"Q4295247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b9b4740c8be1ef0b375ba615d7c987078d2d281","datavalue":{"value":{"amount":"+0.749137818813324","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":"Q1633238$1B838E8F-961D-419B-8215-D2247E90360A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e792364c294919b1c161c4b40bffa5c64cd106ff","datavalue":{"value":{"entity-type":"item","numeric-id":2851832,"id":"Q2851832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c36878a3dc55cca4a5d983cedf8b3e304bda1984","datavalue":{"value":{"amount":"+0.7449710369110107","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":"Q1633238$66032C84-0249-4C9D-8C03-58BBE2F343F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c8459b0464c9ddb2940566e3eb7431e5940abe8","datavalue":{"value":{"entity-type":"item","numeric-id":4793389,"id":"Q4793389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2529a268cf9a987ab0e5e90ea6ad672b99b2a2c9","datavalue":{"value":{"amount":"+0.7400884628295898","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":"Q1633238$EE78B191-64AD-4254-BE31-363C0F1876D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54516e078c25151df809beb36c19c0c3d6c9e380","datavalue":{"value":{"entity-type":"item","numeric-id":1882400,"id":"Q1882400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2528d5f2cba52159476304c4910aac1d3c12b2be","datavalue":{"value":{"amount":"+0.7392591834068298","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":"Q1633238$F72B0CD2-3ECA-4DBD-B950-981ED29DC6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c822bfcfd4d27cf20d406c3b19d2c798a4fd1fa3","datavalue":{"value":{"entity-type":"item","numeric-id":4395141,"id":"Q4395141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f745af93e357834dae4d20d1f405b00194d75864","datavalue":{"value":{"amount":"+0.7341313362121582","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":"Q1633238$1D67BEB5-6923-46CA-A7A6-BE2C5ED462C6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633238$FF24714A-F12A-48B4-8F1F-326EFD1C9A54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial semantics for quantified modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial_semantics_for_quantified_modal_logic"}}}}}