{"entities":{"Q1712937":{"pageid":1723678,"ns":120,"title":"Item:Q1712937","lastrevid":68887251,"modified":"2026-04-13T02:54:14Z","type":"item","id":"Q1712937","labels":{"en":{"language":"en","value":"A completeness theorem for continuous predicate modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7006133"}},"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":"Q1712937$3AAB4356-215E-4CD3-93C3-254B78F3369C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c7968c2506f537e77aaffa57d98ad89e92b6ded","datavalue":{"value":{"text":"A completeness theorem for continuous predicate modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1712937$45B15BA6-3632-420F-9259-A07034C200A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e49910dd912b4a73940215c781260e47e2d8261","datavalue":{"value":"1448.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712937$AF223439-AB6A-44B0-AE43-834DDBF5C35D","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":"Q1712937$3992739B-54DE-41B3-AEE5-7B531BDF45B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712937$97516B99-8D6A-4DEB-BDBE-E1F65CDE657A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cd39a34925a9d3eaa0799a6ae0cd2538d190ed0d","datavalue":{"value":{"time":"+2019-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1712937$941E46CA-9336-4668-BDD6-39969E46DBFB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4197a86f0cd1405bbd12b88ed5686d5fb2297462","datavalue":{"value":"http://link.springer.com/article/10.1007/s00153-017-0554-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1712937$3830821F-7BA3-4E3C-ABCD-0476A525EED2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712937$9C51A673-20AE-483F-ADB7-85B17476DEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712937$3AF7EAC3-E7B7-4C26-B778-07A3CC796982","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e35c01eba8a252febf61ba081d7cde38e474ed6","datavalue":{"value":"7006133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712937$3296AC7B-871F-4D94-8F0B-90271731AE12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712937$984C6EAE-DB23-46EF-B377-4E2856A5170B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a2a96d016586cb198f7d32c0e864c0a301f3790","datavalue":{"value":"continuous logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712937$510EBC2D-B41F-4353-8634-1311DE634121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712937$0B9D607A-7FA5-4E8F-A558-4EFE7B4225D4","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":"Q1712937$6295EB15-E2C5-4B6B-AE2C-E0340E2B062B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90bcaa30ac7fe436684f96adb83478ed0c43e3a9","datavalue":{"value":"W2801429813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712937$2109121A-AF75-43BA-A183-2A3442FCAE1A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a074336fc4f13eb05870e78ebfe46e9da9915324","datavalue":{"value":{"entity-type":"item","numeric-id":4646652,"id":"Q4646652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712937$D79B7576-F774-4B8E-98BF-6746B45E4C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f752ae246ff00bcbe470e385722e1fbc5aa290","datavalue":{"value":{"entity-type":"item","numeric-id":3602612,"id":"Q3602612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712937$42B2FE11-FF6A-424E-ADA5-B545F8FFFAD3","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":"Q1712937$E7D4BD1A-18F4-4025-9CEC-E254A658D030","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":"Q1712937$7981D397-7EED-421C-9FE3-5C27A0725375","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":"Q1712937$6FAE0C5F-663D-4989-A36A-338F56AD4A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712937$47A98E7B-4E51-40BE-ABCB-D17C868A25C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e19c9003c18edc5e65fff75387249184382f27c","datavalue":{"value":{"entity-type":"item","numeric-id":3580668,"id":"Q3580668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712937$E298811D-7433-43B5-8A83-2F63648CD5F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87db23423ac8243c443fd33fda5a7b68b48f2475","datavalue":{"value":"10.1007/S00153-018-0630-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712937$68B90786-CC0B-4E90-B683-DD69F6D13264","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b55d09419de4940f4f34961ea057828c0dc463f","datavalue":{"value":{"entity-type":"item","numeric-id":4646652,"id":"Q4646652"},"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":"Q1712937$D6E22F4A-D7AB-4FDB-8E3F-BC2ABE2783DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4add87124e54c39c7325afb40780d4cb0b67e9e","datavalue":{"value":{"entity-type":"item","numeric-id":4822147,"id":"Q4822147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6124cd8796b7e0303c52d3bf0e67c78b0647450","datavalue":{"value":{"amount":"+0.8075273036956787","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":"Q1712937$DAE9AEBD-FAC2-47D6-A245-BFD717BCFA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab63c5076c9d4f93a5121b9a9ad68047086c5e29","datavalue":{"value":{"entity-type":"item","numeric-id":4329237,"id":"Q4329237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97b8c565a9d37f7ffa7329950bb5b74fc6beaf41","datavalue":{"value":{"amount":"+0.7882502675056458","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":"Q1712937$8F0A7CA7-3B33-4CE6-A8DF-07EC912E0D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c6df409f01aabcef2a75ff642540b8e435089d","datavalue":{"value":{"entity-type":"item","numeric-id":2735848,"id":"Q2735848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19c94f20928b7c03577ad44b6a1af99f1b4efe3b","datavalue":{"value":{"amount":"+0.7873122096061707","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":"Q1712937$059C44B3-4C1D-4FB5-A8D2-3117F2F512E0","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":"a25cba0facdb5683ce193b188497f167b297d97e","datavalue":{"value":{"amount":"+0.7860795855522156","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":"Q1712937$FDADD825-5700-43AD-9A06-46E06194137A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A completeness theorem for continuous predicate modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_completeness_theorem_for_continuous_predicate_modal_logic"}}}}}