{"entities":{"Q689195":{"pageid":691044,"ns":120,"title":"Item:Q689195","lastrevid":63638874,"modified":"2026-04-11T14:31:40Z","type":"item","id":"Q689195","labels":{"en":{"language":"en","value":"An arithmetical completeness theorem for pre-permutations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 440188"}},"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":"Q689195$B5CDA634-AB22-4E52-AF8D-300828C5E847","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ab47079294a07884a2eaabaa366a467d7bd4960","datavalue":{"value":{"text":"An arithmetical completeness theorem for pre-permutations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q689195$6CAD27A7-8A6A-4C61-8705-2026E65436CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3536b031d5b3ff89cd949be140397f0363214ec2","datavalue":{"value":"0788.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689195$F2DC9754-59A2-426F-B7F8-8C8052F3CEA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12c76737f6cd32e86b142e93523ac57c2a0b24d3","datavalue":{"value":{"entity-type":"item","numeric-id":689194,"id":"Q689194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689195$ED73430B-D44E-4E08-AA0F-4EB19FB6F6EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689195$8BF73966-5EAA-40D1-A8B2-10381B964281","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f76288a30164f14e28f1a275b49eb5d03da81a0a","datavalue":{"value":{"time":"+1993-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q689195$BAE639C1-99C1-496B-8B7A-3EEF86993D9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689195$A46161A4-98B9-4EF5-AFE2-8397D9971BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689195$66D61638-E9CA-4E94-8232-CB4A6CB46D54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2be4fa92afcbcaa5cb695544800caa83536255a2","datavalue":{"value":"440188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689195$907BA426-4E7B-4D90-9501-662CD8305020","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q689195$13CFFC0E-74F4-49FF-965E-8CAA6503897A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0cbb63aa75281c989a466157d16ab703e2df781","datavalue":{"value":"arithmetical completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q689195$21090014-B7B3-4104-B763-86C08A5E90D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd58592927ad3e8342634d01b8f9bd7b4b1af5cf","datavalue":{"value":"pre-permutational arithmetic interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q689195$AA60987B-5DD3-4021-A223-5D136485C989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"643c4877a165b2bdece0b82c90c9d615ee70bca3","datavalue":{"value":"modal sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q689195$7A7ED83E-4059-45B1-885B-A624B2A8477D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86a211563417d9fa8879ec1c596d61f26e3e1a1b","datavalue":{"value":"witness comparisons","type":"string"},"datatype":"string"},"type":"statement","id":"Q689195$E5557A01-9552-4FB3-92A5-6603F88BDBE9","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":"Q689195$9D7CBB3A-8B17-4B4D-A187-E8A413ED9B3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3964fa8c024fcdc8396a5d99588746b36d2787a3","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093634565","type":"string"},"datatype":"url"},"type":"statement","id":"Q689195$DADADEBC-3FFD-4C62-A5A1-72288AA2FE05","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c8b82474fe1f87a28a198224675fbaaad4a38c4","datavalue":{"value":"W2020104454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689195$0E5F78D5-F3BC-453A-A576-3647467AFE29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b371ce8f702879d90d917f1211cb995bc4c11d2","datavalue":{"value":"10.1305/NDJFL/1093634565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689195$749A5187-98FB-4EA4-9906-A16C28B0ABAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b17fb26c75f7d8ee828104772240265bc7ef8c8","datavalue":{"value":{"entity-type":"item","numeric-id":1319362,"id":"Q1319362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eed9455f1608b8775c72db070b11823061159f18","datavalue":{"value":{"amount":"+0.7554868459701538","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":"Q689195$97632B05-93E5-4102-AAEA-921AD7823352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b44d3b76a934c66825e2a9df65d55905a8f311ce","datavalue":{"value":{"entity-type":"item","numeric-id":1970916,"id":"Q1970916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb000654cc09bb0314c68e14680ef8051dafd866","datavalue":{"value":{"amount":"+0.7541187405586243","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":"Q689195$C6109BBC-CF85-4284-9B6C-3E6FBF579067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72d6939b86a56eb64afb560b094b845c382b714a","datavalue":{"value":{"entity-type":"item","numeric-id":1743993,"id":"Q1743993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2359adba1db1d99decb25ca4dd9d7886ab00f212","datavalue":{"value":{"amount":"+0.7442066073417664","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":"Q689195$F5F7EF47-D32C-473F-8815-1E77BB4BDDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"697a9578da003ddebfcf4999c731eae925ada4dd","datavalue":{"value":{"entity-type":"item","numeric-id":4948517,"id":"Q4948517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc31283e8932d02762adf03504cb838335588b68","datavalue":{"value":{"amount":"+0.7363048791885376","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":"Q689195$9CAAFD0F-2F53-4CF7-88AA-FE6BA1CB6563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3856f2d93ddc264da26bb60c678fe35a045c32c9","datavalue":{"value":{"entity-type":"item","numeric-id":688859,"id":"Q688859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc31283e8932d02762adf03504cb838335588b68","datavalue":{"value":{"amount":"+0.7363048791885376","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":"Q689195$35B5C3E5-A11C-4BE0-A4E5-BC4BD501FA4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An arithmetical completeness theorem for pre-permutations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_arithmetical_completeness_theorem_for_pre-permutations"}}}}}