{"entities":{"Q3717020":{"pageid":5746926,"ns":120,"title":"Item:Q3717020","lastrevid":81111263,"modified":"2026-05-06T17:44:50Z","type":"item","id":"Q3717020","labels":{"en":{"language":"en","value":"Generalisation of first-order logic to nonatomic domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3946087"}},"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":"Q3717020$387D28D1-F343-4C7D-951A-63A699A99F20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc797b6293db5f0f36caa62cfb91b77edb53b027","datavalue":{"value":{"text":"Generalisation of first-order logic to nonatomic domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3717020$D4514D9B-D7AB-46A0-A986-376DDC5AAA50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be99875e5093af707a82185c905c3c1c65ca7aa0","datavalue":{"value":"0589.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717020$A8D38706-AE5C-4E1B-8D68-3D6E8A01B964","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a8aae616f2d4f11d0a5e20ce26aecabb408257a","datavalue":{"value":"10.2307/2274334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717020$C85FD082-C825-474E-86E2-614D1B234763","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d98dbdbc8693ff97387c6ae2cba2f93c1c68081c","datavalue":{"value":{"entity-type":"item","numeric-id":867402,"id":"Q867402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3717020$5C13D04C-BC9D-4963-B1A8-BC1ADB252032","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3717020$A1CC98A0-3D44-4A4B-A3B0-FB60640159CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3717020$237846C9-FF6D-4098-A123-069FC33013B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717020$3785AA38-F847-4F7C-8838-57027275D09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717020$A1B9A336-6920-474A-8F03-EF8BD6AA54C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"545d31ba407d9fe8510e812494cfd34ec48c2870","datavalue":{"value":"3946087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717020$1324D5C8-9365-43DB-A76B-8C95FE06F3EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96e2a2125da7771e55695dc865d20b7f909b8820","datavalue":{"value":"quantification theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3717020$6DDB5EF4-FCBE-48DD-AA20-0171BF2DFBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3717020$51B954E2-C891-461C-A28B-50C234F88220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3717020$66D9EB67-2DFF-49EF-A1BB-BD2B3A5177E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3717020$F765106D-EE13-42DD-BF8D-57B95E833B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3717020$AF60CD76-3EC4-4A00-B611-A2FA874772FA","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":"Q3717020$FCE5EC9F-2E69-4CD7-AA62-35011EC2322D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b5c359177da455cf7f8c40801389b12f24262e3","datavalue":{"value":"https://doi.org/10.2307/2274334","type":"string"},"datatype":"url"},"type":"statement","id":"Q3717020$39912EDA-CDF1-491F-9BA1-F481FD93370C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b3ee3696df5cc75df6ae4311cc0f8916d72c94a","datavalue":{"value":"W2032700852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717020$D76A98F7-03A5-48B7-B8B2-60435F66D33B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dcf0e8351ada9569ff98f04862ee7422b7816e7","datavalue":{"value":{"entity-type":"item","numeric-id":1876084,"id":"Q1876084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b34b412c632fc81a7e6c4c0509d119562a4ff6","datavalue":{"value":{"amount":"+0.7673880457878113","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":"Q3717020$B6EF0ED3-C502-4BAB-AF4D-85A81F311306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d1e63c419b1401ded6d9cb4a3f95efa8ec11166","datavalue":{"value":{"entity-type":"item","numeric-id":3621449,"id":"Q3621449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0380f4d1f3f0adf08060e8f3449d4af892464699","datavalue":{"value":{"amount":"+0.7420474886894226","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":"Q3717020$8DFB7EED-E355-4785-A3A0-FE94B1FCF609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef64bd8f02f26053f8db7fb18d26ca99ea93e1ac","datavalue":{"value":{"entity-type":"item","numeric-id":5414135,"id":"Q5414135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6430831078723c7b54982add7ec1a5192fc4776c","datavalue":{"value":{"amount":"+0.7391465306282043","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":"Q3717020$01D773EE-7FD7-40A0-A3D5-C44647F771B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f462a7feded8524e3374e173442133b0f6d78304","datavalue":{"value":{"entity-type":"item","numeric-id":2702240,"id":"Q2702240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cba260bdf43b36559988717b25dfd5fcad3e4835","datavalue":{"value":{"amount":"+0.728400468826294","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":"Q3717020$338DE9E5-9D6C-40B7-A642-61FB506EBBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d29f6abd08cfa746701264175b46ed3c3d4ba8c7","datavalue":{"value":{"entity-type":"item","numeric-id":4394916,"id":"Q4394916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6882bdf40dac7221ef885751a85658e71885356f","datavalue":{"value":{"amount":"+0.7266371846199036","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":"Q3717020$50F6BCE7-A0D8-4D89-8F4F-4DD8AE4CA860","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalisation of first-order logic to nonatomic domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalisation_of_first-order_logic_to_nonatomic_domains"}}}}}