{"entities":{"Q3126406":{"pageid":3137122,"ns":120,"title":"Item:Q3126406","lastrevid":45500971,"modified":"2025-12-09T17:31:13Z","type":"item","id":"Q3126406","labels":{"en":{"language":"en","value":"Modal Foundations for Predicate Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 994541"}},"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":"Q3126406$870F0F8A-8D78-460E-8AFC-B972C758C9FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ceab55452c10c40c9aa7bd1322fd9dfc19c37a8","datavalue":{"value":{"text":"Modal Foundations for Predicate Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3126406$8A4D4212-2B25-4161-BCA7-2BD1C6470A8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37979aac28cd740cbd7f65ad0013082da4482509","datavalue":{"value":"0949.03517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3126406$BEFB517C-FD7E-443D-9275-7A6500D5E8DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1794b8c016f47095478b978795ce328c3c19cb2b","datavalue":{"value":{"time":"+1997-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3126406$1F1D0EB7-3E34-4463-A7EB-8A704CDD0ED5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16bee9fa310d02163a1c77ca3f4a9908007322e2","datavalue":{"value":"https://semanticscholar.org/paper/4280ddecb4c94aee284792358fe3c19d372aac63","type":"string"},"datatype":"url"},"type":"statement","id":"Q3126406$0672EA0C-0305-4D78-8084-1A042770D5AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3126406$E474928A-E716-417E-A024-F6682F18726E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3126406$E56CDCF5-BC00-43F0-B03F-15F9C80551C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3126406$C93B9318-F8A4-47AD-83E6-F2F6B6B76C27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49f06188ab658c1ea01f6f9567f00eb93deb1f81","datavalue":{"value":"994541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3126406$59B9C501-F1C7-486A-B5F0-3EDFA61CECFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126406$6F47DD77-8578-42EA-B9E7-29DA96532A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126406$3AF1E8F1-1609-4635-A864-47B73928E4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e79bf470c39068daab758a227233f4d9c98f71d","datavalue":{"value":"decidable sublogics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126406$DA0B3244-0AB3-4526-8756-DC487CE544E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf9bcf2b7488654e1392f66a9ccf5674a8914caa","datavalue":{"value":"first-order quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126406$EA8A007C-0ECA-4B10-BCAD-E32B0B8AD015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a0a8905d4045caff905ea8a34fc97ed231c397e","datavalue":{"value":"modal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126406$C86686C3-E1CB-44E9-BC11-AD6652DC6123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126406$9A10DFCF-8425-4309-AF83-7638373B9FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829188eb2ee377bc98adf76b2d300d08c99601d0","datavalue":{"value":"modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126406$38C4E4CD-0480-4F6E-AAD3-0708F14A4F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb8ae1852c872e9c78f5a023dd41b25a783f149c","datavalue":{"value":"quantifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126406$51DA9565-D2F4-4178-83A5-E2B42EAD2A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126406$50B67D06-2E0F-4B34-A610-D18ED0D98053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e7d635305e31426b285a1d3fe2f1307ae4e0760","datavalue":{"value":"polyadic quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126406$B2A1DF8E-712B-4820-9679-AC0D62F887D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3126406$5FC15FC0-4322-49C1-94B0-218D32681A73","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":"Q3126406$5284A860-1685-4B5E-8496-750D815C3C27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e23a18d14dbc6ed21ad5c643d65fbbe3c63b741","datavalue":{"value":"W2169433313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3126406$6B965ACC-BF79-4390-9649-EC01B5263FA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc52d931dbecfe1a8caa66f6ffe18672e19e1a3d","datavalue":{"value":"10.1093/JIGPAL/5.2.259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3126406$94414036-3261-4CFE-9023-3D51719FE9AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3126406$8BF11139-9828-41D1-9E81-DBD3B32273C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3126406","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3126406"}}}}}