{"entities":{"Q2027216":{"pageid":2037958,"ns":120,"title":"Item:Q2027216","lastrevid":82388828,"modified":"2026-05-06T20:47:19Z","type":"item","id":"Q2027216","labels":{"en":{"language":"en","value":"A canonical model for constant domain basic first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7350845"}},"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":"Q2027216$5E6F98FA-5C6F-40B2-A58D-082D270E6B2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcf18f39c734f8a765ced83de30489bf77ec1406","datavalue":{"value":{"text":"A canonical model for constant domain basic first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2027216$9F06FEF3-3125-4EB4-8429-BAE330383847","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5efbf319fc36dec3a63165fc2f74674ea47e5979","datavalue":{"value":"1484.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2027216$767F2FF1-1104-4400-86AD-91C110405AA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"266de4d60f74cd2b6e2bc0adf5c1374d86cb4203","datavalue":{"value":{"entity-type":"item","numeric-id":2027215,"id":"Q2027215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027216$2918523A-1904-4F2C-A0BD-E41036B61552","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027216$1226557F-AE10-4B3C-A2DB-DCD84E90022F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00ffa60ea309af725dad80fc9f6348e56a9ea74b","datavalue":{"value":{"time":"+2021-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2027216$7AEA2629-168F-4DCF-A55E-B22CE389C416","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"573cf691f3f92a180d7a527df0083fa32764d407","datavalue":{"value":"https://arxiv.org/abs/1907.07013","type":"string"},"datatype":"url"},"type":"statement","id":"Q2027216$384364D6-8820-45DB-8526-EF8EAF21227B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2027216$FB2F9FAA-27BA-4DE6-87DE-9547772ED823","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf49d95155a32a6a44b41327222daa9d09a5a8af","datavalue":{"value":"7350845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2027216$1BDE884F-14EA-4AEB-9B4D-1D6FE030DD29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d0139dfba1ca1a04caad42c4e71b49ee9fe1783","datavalue":{"value":"basic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027216$5237498A-1C73-4A65-948B-510A9121755E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10a7f43fc1ead9ad023874dd153768f3cb5ca0ce","datavalue":{"value":"BPL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027216$E7AF7D82-5174-49BA-8E3B-55C2BE674757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86b28acc64202cee697364fff1129f3429ef54f8","datavalue":{"value":"basic first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027216$8C465255-691C-4608-92B0-A5E15D40580F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbbe9a6cd6c395e36b6bf9676a9de55e6aed5099","datavalue":{"value":"BQL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027216$0A1EF192-F9B9-4CF4-BB63-47F74BB680C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a28e75ab931b9ffe29155c5e6687d39ffef800","datavalue":{"value":"basic predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027216$1C701206-5AA4-41B2-9971-8CE097AA2C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98b3c812d7e300dd15fa330ce7b22785a49ddc67","datavalue":{"value":"BQC","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027216$A38CB49C-746C-4759-9DFA-BC9CEA91F86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4edcd51ebfb79e6fd441e1dc5ed31ec3338f9545","datavalue":{"value":"constant domain basic first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027216$A5516DD0-9AD6-4325-ABEA-BBEAAAA1B6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0da9e2139f69ceedb725318d9f4089e38a93b767","datavalue":{"value":"BQLCD","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027216$CE90FA55-BA28-4DDE-AB0C-3A393C46EF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa4906c8dfa554fd1bfec0f7d4df1f6fca6a836e","datavalue":{"value":"Visser","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027216$C1540D5C-6C39-47AE-8F08-28CDD5B2E66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d8830f82b3ff53868a4e585f5e60bbd99eae6e8","datavalue":{"value":"Ruitenburg","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027216$4F86C909-0039-495B-B2E6-30BCE1FC83CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6d64bfe0ed6c5dcdc73f6844c7cc17011fb8168","datavalue":{"value":"Restall","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027216$E89FBFB2-3E6D-49F6-83E5-5A75721862B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26a9cca9647eb82fe0dadb33ece93591592871c6","datavalue":{"value":"subintuitionistic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027216$9D040756-EC12-4824-8EBA-01C4377D75E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b9a595a4b125ce1fa50908c629a08fcabd3e593","datavalue":{"value":"canonical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027216$7419EA98-313C-44DB-9B57-CE3F346A5EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027216$F1F6DB17-F3E7-4456-8FC9-17F2C4C2D033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027216$D5CCDF9B-5219-4690-A947-ACF14FAE2839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46e827a2f1d9e2ec3bdc3a7ec6d04e64033483bb","datavalue":{"value":"existence property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027216$57046FED-88CA-4543-B83A-819BF61A61CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2027216$AA9507BC-39A7-4B2B-A8F9-87F28ABDB205","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":"Q2027216$B710EC5D-ABB4-4F6B-8373-F98EED4ABFB8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5694d88533ab0895182e007242c197b254cc0fd","datavalue":{"value":"W3008507056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2027216$BE6FD856-D5A5-4FAF-B667-BD4BE4A26959","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3be6adbacb915dbf54fc550a4feb912036627eb","datavalue":{"value":{"entity-type":"item","numeric-id":731484,"id":"Q731484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027216$C5F8195E-DEBB-4602-9B8E-7ADDD18E5663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d0c11a02f32dd29376f0d1ede1050eee65a39f","datavalue":{"value":{"entity-type":"item","numeric-id":5434487,"id":"Q5434487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027216$DA968AF3-73D2-4EB8-930F-58837AA7ED9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22fbfacf4a81c385ab7bc79ba13786beed70eabe","datavalue":{"value":{"entity-type":"item","numeric-id":1572658,"id":"Q1572658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027216$39DBED88-21DB-4095-A977-E66C521C840E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aea61d19be0fd503b2e8b946fa9ef44ecdc351b","datavalue":{"value":{"entity-type":"item","numeric-id":1777640,"id":"Q1777640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027216$6EFB3DF2-67C2-4C5E-9579-FE74EA2C5BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9829e013fd8a2e1647e725cf79d1fdca6a822c9c","datavalue":{"value":{"entity-type":"item","numeric-id":1333312,"id":"Q1333312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027216$0BB071B0-E56E-455B-BAE8-07696733DED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2089fa58da7d2fc1dfe60e40e3a108a0413c8a8","datavalue":{"value":{"entity-type":"item","numeric-id":5937805,"id":"Q5937805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027216$B249AC20-2801-4E5B-9D86-ADBCC6D4C1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0389db7be2e276e760be3fbee1d815a588a76f42","datavalue":{"value":{"entity-type":"item","numeric-id":1156789,"id":"Q1156789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2027216$8BE1C408-AF2E-4ED5-B009-B8E7903A4526","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e00a361267922ba3f84f8d0338e1f2662d0cd14","datavalue":{"value":"10.1007/S11225-020-09900-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2027216$91A371A7-5F0E-4118-825C-44798B6FE558","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f93522e3fd72de2af92161b8682a0b05a7255b6e","datavalue":{"value":{"entity-type":"item","numeric-id":5108022,"id":"Q5108022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"667142038740594bf80c4e3980822074af305bac","datavalue":{"value":{"amount":"+0.7397614121437073","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":"Q2027216$E6EC502E-95B4-42EB-AB24-0093A78C26E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ea8a5993475450e0cdb8b9a5976198361a50e55","datavalue":{"value":{"entity-type":"item","numeric-id":2869908,"id":"Q2869908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0b9e843ee2a3d66dfad2eead08bef33f2ebce8f","datavalue":{"value":{"amount":"+0.7274660468101501","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":"Q2027216$F372A14B-1960-42DC-9F7D-26E68EA7DD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cd59cc111cc7193de81f9a7c6531b2c18c13e95","datavalue":{"value":{"entity-type":"item","numeric-id":1109762,"id":"Q1109762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fe16bd42050d9a5248f1a5ce3c8d49c9c35db71","datavalue":{"value":{"amount":"+0.7067660093307495","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":"Q2027216$3136CEFB-3BB9-44D7-BB5F-7133B02C6505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c65e03e19c49765b519c497dc77daa59b7b4d463","datavalue":{"value":{"entity-type":"item","numeric-id":1924755,"id":"Q1924755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5260c9bb8de7aa026a4f5f7d51f4ab96954baeef","datavalue":{"value":{"amount":"+0.7064442038536072","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":"Q2027216$74B70165-25CE-4D70-91D7-4B4616A8ACE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"315ff1cc6081629cb3b1cad991daa370b59f0964","datavalue":{"value":{"entity-type":"item","numeric-id":4860654,"id":"Q4860654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a808a95011c874e2dc89380fc814ad420eae372","datavalue":{"value":{"amount":"+0.7041767835617065","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":"Q2027216$FD630EF9-29B7-493E-9CD5-3CAFFFB7DDDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A canonical model for constant domain basic first-order logic","badges":[]}}}}}