{"entities":{"Q1708876":{"pageid":1719617,"ns":120,"title":"Item:Q1708876","lastrevid":53049434,"modified":"2026-01-24T03:09:14Z","type":"item","id":"Q1708876","labels":{"en":{"language":"en","value":"Quine's conjecture on many-sorted logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6853129"}},"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":"Q1708876$A64B3DEA-DE55-46D2-9BD6-35624258D50D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd74a97901eba2094c4810624a846ada620530f3","datavalue":{"value":{"text":"Quine's conjecture on many-sorted logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1708876$5384BF31-E43E-41AA-8E83-929F0D24E9D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08d8d00f474643adef9364ab52cda1123b24ed54","datavalue":{"value":"1417.03120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708876$C7F0E2F2-2217-4837-8890-9B15873A3FFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f3e09b5b413a1e65f39964aa0598077bed86a5c","datavalue":{"value":{"entity-type":"item","numeric-id":493025,"id":"Q493025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708876$7C78D770-2983-48E3-850B-8BBB02C1A5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d9106f3f4e4530dc27912dceebccca530cd17b0","datavalue":{"value":{"entity-type":"item","numeric-id":172771,"id":"Q172771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708876$3E8B96D9-910E-4077-865C-832CE04E934B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708876$A0F73099-776C-42CF-9B7A-307F77E33501","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b89ae30ad9dd2575aee905585ba5c4c25af3d67d","datavalue":{"value":{"time":"+2018-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1708876$71BEE357-DEC6-434D-8793-AB788D5FEE74","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c886d2948c1518c7ac74086bdf9b6ff8d528eeb1","datavalue":{"value":"http://philsci-archive.pitt.edu/11660/1/quinesconjecture.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1708876$25DFD27D-1643-4972-A79A-23FCC3B10CFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708876$2C8D6EF7-F29C-487A-8BA7-D6988C89738B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708876$5C888212-7167-48BB-B0D7-27104C98E2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30f000f89c05b5d6c2fc3f4a3150ef0dac5952d4","datavalue":{"value":"18B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708876$23520F7D-0063-451C-8F11-027853A9630E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b81e6d8bb3040e3d80ca4a1b2313e0a69811685b","datavalue":{"value":"16D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708876$27C8D7B2-26F1-4B6B-B79B-D291BCDF6C92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cb74828261a10ee04c17e4d68131fe0b8ed528a","datavalue":{"value":"6853129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708876$34F13141-8523-4C32-A3DB-A4C9F8A24062","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f46664f5e83c9ac840a969b2c79b3d7f140428a9","datavalue":{"value":"theoretical equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708876$3D16FDDE-D74D-4C57-BD96-EAEAA7353235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb69f783e85fbc42e5d9316045b6ef66d0845934","datavalue":{"value":"definitional equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708876$199F66A0-E4F9-4EEA-9584-B6A40FAFD0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f975111e985da9420d0cb10c17a8dd4cdcc18ddf","datavalue":{"value":"Morita equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708876$0D6CCD9C-E19F-4240-BF88-A97F137ACBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"083d5ad7127906540550ea0bfe854ecf0c0914b3","datavalue":{"value":"Quine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708876$CEE5144C-9FA7-4A84-A36C-6AF67C21FB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708876$C8B49851-EF10-4613-985C-D4A09733623B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c22ffdca00173ced5c1b8efb1893ae52a5dddae4","datavalue":{"value":"many-sorted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708876$E25B0B64-EC67-49DA-8F87-345B63231C25","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1d4c4bf14d689ea0fb082819502aebeb9537aa81","datavalue":{"value":"Q123155920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708876$8F0F4DFD-459D-489C-9D95-65483FB12F73","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":"Q1708876$C0F00EDC-4A6A-4B69-8F08-686B1F8B501A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"446b663d80254f660948339a65d2797559faaacb","datavalue":{"value":"W1275067439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708876$8AAB056B-5B86-42FA-A719-69416A81FFB5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7277a386069e238b77d53fb9a0eabca229eb6a43","datavalue":{"value":{"entity-type":"item","numeric-id":5704809,"id":"Q5704809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708876$3FE03048-F9C4-49B8-9C09-4DC4C3E8E101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e0525b6c32ee340c6d4b29a9e4d8e2777fba42","datavalue":{"value":{"entity-type":"item","numeric-id":2965423,"id":"Q2965423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708876$8B3556B1-7B29-425E-A8B9-19CB5225AD88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5192305a0bebe8e9b1419fb3cb9202714218b764","datavalue":{"value":{"entity-type":"item","numeric-id":2397813,"id":"Q2397813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708876$0A473DAD-9E5D-46E8-8E29-0D69895D37A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f603af1c61fbf42d2443395f11d3a34efadd521","datavalue":{"value":{"entity-type":"item","numeric-id":4194943,"id":"Q4194943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708876$F5564F63-92B6-44F8-900F-36FE9F9C5EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b24774afe4f7350a5b90f0ad56a88e30d612d8a","datavalue":{"value":{"entity-type":"item","numeric-id":1707209,"id":"Q1707209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708876$AC3CB9DB-E5CF-403E-B832-65AECC3C10E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5065627c549136445d434d7d65a23fe61f4d77a8","datavalue":{"value":{"entity-type":"item","numeric-id":4856547,"id":"Q4856547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708876$57D9283B-C1F6-4B13-B09B-E90FB4E9D42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a61b802852b61c203b11655d2d85eae682096f8a","datavalue":{"value":{"entity-type":"item","numeric-id":5694788,"id":"Q5694788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708876$F7922DA0-A424-4575-9787-D3C84C266F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efadb167972ae2187afd775eec82da9c2653a67b","datavalue":{"value":{"entity-type":"item","numeric-id":5265969,"id":"Q5265969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708876$319BE62E-12D0-47B1-9487-295791C03AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d664988dd4a7a528bc76617c0dd4cc261e1d2a","datavalue":{"value":{"entity-type":"item","numeric-id":5625151,"id":"Q5625151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708876$40645038-D708-4444-B3C6-CE0C330A1A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"732fea591a5bc80d827975464034def8d89204cf","datavalue":{"value":{"entity-type":"item","numeric-id":5040180,"id":"Q5040180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708876$CADDB7BA-9E36-491A-B3D4-4F0E55972577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"688711d922e6ed52cabe4c72ea1501e72ca9fecd","datavalue":{"value":{"entity-type":"item","numeric-id":3509723,"id":"Q3509723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708876$04719887-FDDF-41B9-9D80-D14825621A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e31279e2a032482a0b7b7fbca88bdac0cbcc6b","datavalue":{"value":{"entity-type":"item","numeric-id":426029,"id":"Q426029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708876$94CEB484-EE03-46A3-B8B5-1C21922335F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e62c7a727e7e7bd304351d740cc2dbba7ace86a","datavalue":{"value":{"entity-type":"item","numeric-id":2944393,"id":"Q2944393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708876$15A25A6E-10E1-43FC-A36D-15D4BE2A1680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708876$1885209A-DB63-49F1-ADAF-102689E56FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a78fe8a50d6a6c45cadea7fc3be9ea82150f3ad6","datavalue":{"value":{"entity-type":"item","numeric-id":4858033,"id":"Q4858033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708876$FFF66C33-581A-4273-8696-439924EC4071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be1f4182e5ee541d75600c8cc7a8798b7ca4dbcb","datavalue":{"value":{"entity-type":"item","numeric-id":1404389,"id":"Q1404389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708876$8505F136-07BC-4F1E-BB66-6B4576E1C1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024fc5c9bf31d84f51f7dd41f396f168c12ba8b0","datavalue":{"value":{"entity-type":"item","numeric-id":5765811,"id":"Q5765811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708876$FB723C93-725A-4868-BA7E-CD5130EA2E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b5fac3575abb30f0a4a78585a9900357e99aa4","datavalue":{"value":{"entity-type":"item","numeric-id":3235354,"id":"Q3235354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708876$5AB7D721-1246-481F-A0AD-7B99DAA3EDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b1aa455643840f81c7fdc76f5376fcaf25a08bf","datavalue":{"value":{"entity-type":"item","numeric-id":3269129,"id":"Q3269129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708876$542EBC04-97F7-4208-8D16-BD87BB10298D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c2afdfee151b6a68d62f2405d3be4c5d22f73b7","datavalue":{"value":{"entity-type":"item","numeric-id":5734418,"id":"Q5734418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708876$DE86C066-87E9-49B1-8705-9061F12E65E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2768176eb7449ca4c5a592e7d30d2e0b621c1c3","datavalue":{"value":{"entity-type":"item","numeric-id":905673,"id":"Q905673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708876$B884EE90-73B3-454F-85B4-26C170945037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672b36c5f903c7cd7306d943251c35f2b59030b1","datavalue":{"value":{"entity-type":"item","numeric-id":2649133,"id":"Q2649133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708876$D6AAECAE-BEDB-417E-9F3E-24B1D8DA20F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"483e0c47dfa9c5731c4dbb2c6d387c022030c63f","datavalue":{"value":"10.1007/S11229-016-1107-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708876$F51DBF7F-5238-4B4F-9260-C2106D69CF29","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"ba71bdd72768ba21dfde7026c1b31a5846196281","datavalue":{"value":"bafkreihmj6r35yass2qt6fyshdckkiljyueuqn4up6oxyadxwpjptfkxwm","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708876$D246A611-ED65-435C-AC40-6045BB1891DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49bfae63cd3fa290719554f12f91012fcffb1d3e","datavalue":{"value":{"entity-type":"item","numeric-id":774393,"id":"Q774393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b91026a1117085ce309b3b965fd067a1e0bc8253","datavalue":{"value":{"amount":"+0.7066212296485901","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":"Q1708876$F2AB5BBE-66B3-4AB9-BDC0-5516F5CD89BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ff76f0e71b5c96c1ab776c14c5a07cbdc52c8af","datavalue":{"value":{"entity-type":"item","numeric-id":1122567,"id":"Q1122567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46b932cb9e379b4b8495f6143261f918f803ace4","datavalue":{"value":{"amount":"+0.6920465230941772","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":"Q1708876$331F9DEF-5413-46A5-A478-51FBF0C248C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b06de468b1d2e4a214737f8d2e3032bd8e024fd","datavalue":{"value":{"entity-type":"item","numeric-id":3688387,"id":"Q3688387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8258865784fedbe4111cc209c8e1d144e9e70613","datavalue":{"value":{"amount":"+0.6808030009269714","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":"Q1708876$1A01B345-FC8F-4265-A137-7DAAE6EDBF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"766816f4aa439bab768f8a9062b1339090f5bda9","datavalue":{"value":{"entity-type":"item","numeric-id":3737481,"id":"Q3737481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54ae574ca8c416dab1683a5a8ecacd5ee70d3f9b","datavalue":{"value":{"amount":"+0.6775428652763367","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":"Q1708876$C04EBAF2-EB4C-4072-AD06-FE0613792180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86b40a0866284973d5d20420bbaad6d6ec04556","datavalue":{"value":{"entity-type":"item","numeric-id":4858033,"id":"Q4858033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59be7f960f36a93241039c12b08cb31b687292bd","datavalue":{"value":{"amount":"+0.6770376563072205","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":"Q1708876$913EBD2C-7CBE-4693-B1AF-A49EE15128A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1708876","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1708876"}}}}}