{"entities":{"Q3600568":{"pageid":5630474,"ns":120,"title":"Item:Q3600568","lastrevid":90356423,"modified":"2026-06-04T19:58:10Z","type":"item","id":"Q3600568","labels":{"en":{"language":"en","value":"The Classical Model Existence Theorem in\u00a0Subclassical\u00a0Predicate Logics\u00a0I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5502959"}},"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":"Q3600568$8A4465ED-DE54-449D-BAC2-4F41DFDBC871","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd75b70470953ac50d1a37733b7a782a2189f147","datavalue":{"value":{"text":"The Classical Model Existence Theorem in\u00a0Subclassical\u00a0Predicate Logics\u00a0I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3600568$1D0F7595-9EC0-4705-922A-D5026591E5BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"569840de8aac495f1e833044aadb8378652d7cea","datavalue":{"value":"1159.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600568$7AD2C98A-3DB7-469D-8A06-5D333E5FA310","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4080e7282af42395e04cb80aba6923f6317e9fd","datavalue":{"value":"10.1007/978-1-4020-9084-4_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600568$BD3209EE-FB36-4DDF-A7B9-62C919D5B25B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5353f95ea4936277202aacab733e19b52ebca36f","datavalue":{"value":{"entity-type":"item","numeric-id":541126,"id":"Q541126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600568$C84CC69B-E9DA-4D0D-A43C-B975F4818243","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0df493489f1fa665b4100a5580b3693e86ec2e40","datavalue":{"value":{"entity-type":"item","numeric-id":3600559,"id":"Q3600559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600568$69BA807F-811C-49E0-BE92-3856CC7A5E0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fb18d8802cf3abae5e4680d2164009847fc6528","datavalue":{"value":{"time":"+2009-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3600568$5BEDB974-330F-49C8-B5A1-B55830EC2531","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600568$25219CE0-2271-4489-A68B-9FE0EB32C194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600568$1DDA592F-BD5F-48D8-B532-56B2F73EB7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600568$5F67D1B1-972B-45C4-8031-AABFCC390C36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9719b67ab6b3cb09ab7b34334e351d869962495","datavalue":{"value":"5502959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600568$65C805B5-469E-43B7-A868-B3A2BCD1721F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f7eddf98a6bf68ffcc9e30c759fce908e855184","datavalue":{"value":"extended completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3600568$C097CFA8-14DF-4941-8320-1DF9F8C15A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd90b10c86bcd3a1ea00e5a723ecbd3727c10897","datavalue":{"value":"strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3600568$8E87858D-9B9C-4EB1-A719-F2F2075188CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"280933c389d95f4603ba2d739329fb8e9d5bfca9","datavalue":{"value":"prenex normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q3600568$F0473A16-F857-49BA-8536-6DFD64F62196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3600568$9522E873-372C-45BC-A16E-A91CC06CDA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9774c3f67d416a6c8463ab2f991bf6eb18e479","datavalue":{"value":"three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3600568$30A6F198-E432-4E78-9266-8D92F5E945A6","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":"Q3600568$2161FC91-08D9-419E-8726-DB951E37A757","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06af731b1c1311fb71537a5b2eaf3d63995ad256","datavalue":{"value":"https://doi.org/10.1007/978-1-4020-9084-4_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3600568$B728E9B7-C091-4522-B0AB-717F33E46670","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"347ce7552467e991f6455dd5a984ff2c57ae61fd","datavalue":{"value":"W193857920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600568$982C564F-45F1-428A-AF1F-CD105B27C0DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600568$A4090E8E-E364-45D4-9969-A5E215C6965E","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":"Q3600568$C3C53687-54EF-4001-B69D-95AAA94DE25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2f0767e51f50b9b68b6184d596d3732b0df77c","datavalue":{"value":{"entity-type":"item","numeric-id":4897039,"id":"Q4897039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600568$17BC4751-8275-46E7-A5AC-75091284E839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3763be974e79783967bd81d6536961e37d5f02de","datavalue":{"value":{"entity-type":"item","numeric-id":5445438,"id":"Q5445438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600568$2A0AFCF1-56F9-413F-9207-8B98F6E9AABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02f249daab7028017d467391f28bc29bcb479add","datavalue":{"value":{"entity-type":"item","numeric-id":5579473,"id":"Q5579473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600568$039318D6-F143-4A04-AC09-186286CF32D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ba56d8858933a5a743fc06ee52cae5137e6901","datavalue":{"value":{"entity-type":"item","numeric-id":2760426,"id":"Q2760426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600568$BC2D6FEC-CC4D-4EF5-B4B2-2CBFF46913A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600568$B673A361-E728-46E9-A926-DC5F1FA8180E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e64944b347254bf7e8e7439e3cdd4a19b4c84861","datavalue":{"value":{"entity-type":"item","numeric-id":4789453,"id":"Q4789453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600568$E758CC3F-B8E6-4571-B47E-F0BBDFAC2166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fea22eee57552af1084e867be7b6d5a6c0e3b7e","datavalue":{"value":{"entity-type":"item","numeric-id":3710505,"id":"Q3710505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600568$A26A9477-C499-451F-88B8-B55764AF41BF","rank":"normal"}],"P1643":[{"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":"5fbc96aefb9e18ab2bd76478410a39a95ddc38a9","datavalue":{"value":{"amount":"+0.7602307200431824","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":"Q3600568$DD57A7B0-973D-4C72-9269-05C0E159E9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ea8958a90954a5cf3c3eb15943500cfe434b156","datavalue":{"value":{"entity-type":"item","numeric-id":3520604,"id":"Q3520604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b9a302eeb267f59c71581ed032772cad763a39a","datavalue":{"value":{"amount":"+0.7581270337104797","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":"Q3600568$0452578D-EBCA-4199-8FD0-7B359D31BDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5561799bc65f48623675d6927fe9509644ecfb0c","datavalue":{"value":{"entity-type":"item","numeric-id":3781737,"id":"Q3781737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34db7d7ff59035fa602e8957ed0f3092d0578f8c","datavalue":{"value":{"amount":"+0.7477606534957886","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":"Q3600568$180315CD-2DEF-4C52-B9A9-2A9D1FA74BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea9d35b739be79aebed0b641b132eb99ed8a12a","datavalue":{"value":{"entity-type":"item","numeric-id":4221774,"id":"Q4221774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a875960332cf2034205a57b7f543488dc8c66eec","datavalue":{"value":{"amount":"+0.7294676303863525","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":"Q3600568$CC3C530C-2084-442F-A190-0690E62414CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aba76c66cf7e538ca9c4b1dc4bcaf247f14f7e77","datavalue":{"value":{"entity-type":"item","numeric-id":636371,"id":"Q636371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1c74542e91c6650565884bb8d104857924fb2ad","datavalue":{"value":{"amount":"+0.7281385064125061","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":"Q3600568$79FE40BD-54B7-4322-8183-047D60646468","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Classical Model Existence Theorem in Subclassical Predicate Logics I","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Classical_Model_Existence_Theorem_in_Subclassical_Predicate_Logics_I"}}}}}