{"entities":{"Q3582712":{"pageid":5612616,"ns":120,"title":"Item:Q3582712","lastrevid":88644236,"modified":"2026-06-04T15:04:17Z","type":"item","id":"Q3582712","labels":{"en":{"language":"en","value":"A Unified Formal Description of Arithmetic and Set Theoretical Data Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5774512"}},"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":"Q3582712$71BAF656-1A24-442C-A119-6CEAD286C8D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80d10577740b7e7c83d789549b17e33ce2df3e28","datavalue":{"value":{"text":"A Unified Formal Description of Arithmetic and Set Theoretical Data Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3582712$ED895544-A359-49E6-813A-BF2506F3BF7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66540db5b3d1d7adcf7727841664ec77a1b2fa01","datavalue":{"value":"1286.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582712$13494AB5-394C-4BD5-9444-678312D76AA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd52837a634fc0df1f11876d7d0317d7e45a0e52","datavalue":{"value":"10.1007/978-3-642-14128-7_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582712$8B943A32-5CC6-4CDE-914B-2F3935F1490D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec49a6685e47abe38cbcbbcac2d3c6df36399c7e","datavalue":{"value":{"entity-type":"item","numeric-id":461477,"id":"Q461477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582712$A1E34CAD-78F4-4820-942D-7A7DD8ED34E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582712$2ED6A61E-EA18-4AF8-BA7B-262A1611FCEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d01ea8a4f82b63cae0dd5c2ac5f8977df7e5fa52","datavalue":{"value":{"time":"+2010-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3582712$B841C124-1A6A-4C20-8647-034EE1CD8275","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582712$8B233F7D-419B-4D10-A5C6-77A18482CF8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b269c04053ef0f89a3b43b93222a988a3426ab0","datavalue":{"value":"5774512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582712$EF670A24-A317-4130-B809-0EC2C6A7755E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a89063db98764c8cdfc3601b82ca455ef6609713","datavalue":{"value":"formal description of arithmetic and set-theoretical data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3582712$EE297CC5-F22C-4F4D-8762-B07FA3AD3A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3582712$C2BF3BB9-89AE-4140-A452-46C0AF1CE697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e74996e55d08d5503c25807ec7e547c5c73d629","datavalue":{"value":"hereditarily finite sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3582712$975A430C-32CD-47F3-9D27-4C08F21CDC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2496715575a845a2ac7cfd5540338afcfeee72e5","datavalue":{"value":"bijective base-2 arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3582712$D08A468B-18E6-4BFA-AFA0-4D2A24A61C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d251cc015a9f7fe735a15d88e80ff4a9c09a5364","datavalue":{"value":"software refinement with Haskell type classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3582712$50124137-B9D1-4603-B104-24632E3BBB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ce17008ab87357604ac3f15db7ccdd0e641cf40","datavalue":{"value":"computational mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3582712$A0EB343A-9CF7-4316-B8DD-59F67B458826","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":"Q3582712$8DE88118-053B-43BF-AD20-A37770996DE8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d336caefa744fa2fe241c6160265b74fa723d3e6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14128-7_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3582712$64F5D1F0-03B7-4A25-87B5-86A3B9C54DB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4a7b7ef0da2015ec7ebcbde1b27108a8b30202c","datavalue":{"value":"W2949363914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582712$0157A107-CBEB-4381-8CED-F814791E19B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7ec3f528e110dcb522eec67f9f4568497666086","datavalue":{"value":{"entity-type":"item","numeric-id":5428276,"id":"Q5428276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5344f164eb505d9f779fcabe1d6dc4b9c300cb5b","datavalue":{"value":{"amount":"+0.89253914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3582712$17A6E9E0-CE33-475D-9455-04E8816DCC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d72f0ff4757a10a0f1773d3177b5f738eb07c475","datavalue":{"value":{"entity-type":"item","numeric-id":3680818,"id":"Q3680818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f9bc8f585014c0e336344ab25dd686283cddbba","datavalue":{"value":{"amount":"+0.89007884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3582712$E01AD318-9059-46D0-844E-4F7D4BCE7446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deb137bdb1747f02c193fec003e3fcc828e790bf","datavalue":{"value":{"entity-type":"item","numeric-id":5717063,"id":"Q5717063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a700e3266224a6f52efcfa2ec31fdf481cbde42","datavalue":{"value":{"amount":"+0.88647085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3582712$3558AA6C-35DC-4776-A97F-3F47570791A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98dc4fb4f8470bf3139adb0da9242cfdc057ad56","datavalue":{"value":{"entity-type":"item","numeric-id":1098613,"id":"Q1098613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36b1c0d30f58194361813df593f7d949b6a84ea2","datavalue":{"value":{"amount":"+0.87471455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3582712$4592A5BD-B369-460C-A8F6-23FB0D4D5757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80bd7cfb8ee49b2d6fd1715cb32cba805a56b185","datavalue":{"value":{"entity-type":"item","numeric-id":3478383,"id":"Q3478383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da7d286f19d069cf1fdb0675dbfd1aab21c0dbe6","datavalue":{"value":{"amount":"+0.87445563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3582712$648E35B9-35B2-4A2A-9380-469EBC354BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab3555e51460d2906eff73519c4f3b1387799a5d","datavalue":{"value":{"entity-type":"item","numeric-id":3809235,"id":"Q3809235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bddf6a812b8166f283bb8eefa72854c483e5da6","datavalue":{"value":{"amount":"+0.8727689","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3582712$3EDD5C6A-2F60-4DA5-BA24-194291363F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea5ab8d45a32d8bbbe31a890aa592d1c1a128e42","datavalue":{"value":{"entity-type":"item","numeric-id":3585061,"id":"Q3585061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d1a73f2028a2317bd11aa7a1f8dc0695cc93f4e","datavalue":{"value":{"amount":"+0.8682947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3582712$1C865D76-8A85-47D4-BF67-4EB5C5AEEBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b981abc9d5a2934b1599e79993a3b619b1e445cd","datavalue":{"value":{"entity-type":"item","numeric-id":3613410,"id":"Q3613410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ca6e1e4a4cfb5e6ef4518a11c397866a4449243","datavalue":{"value":{"amount":"+0.86795175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3582712$019D46AB-F322-42A8-AE32-B4924CB43953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c1fce09adb870f6abe427a2bee17cef95346f5a","datavalue":{"value":{"entity-type":"item","numeric-id":4457833,"id":"Q4457833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fc4e484960fbbe6412c327aa66b670c2f4801c6","datavalue":{"value":{"amount":"+0.8669353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3582712$FE48D5E0-AF64-4319-861C-69EB681E2F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c02adcb991284baa4992431a73d5d0488b8bee5e","datavalue":{"value":{"entity-type":"item","numeric-id":4728229,"id":"Q4728229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f930631a4611a2c622628ef205e6d76607012e0d","datavalue":{"value":{"amount":"+0.866519","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3582712$371AD545-1365-4015-99CE-42DEA164850C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Unified Formal Description of Arithmetic and Set Theoretical Data Types","badges":[]}}}}}