{"entities":{"Q1825191":{"pageid":1835933,"ns":120,"title":"Item:Q1825191","lastrevid":73878438,"modified":"2026-04-14T17:35:50Z","type":"item","id":"Q1825191","labels":{"en":{"language":"en","value":"Towards a computation system based on set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4120165"}},"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":"Q1825191$A8563A20-FA28-4161-83F4-86235DFE12B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3e5d813e4a43a6480d4f5a7edf0081f9c34f536","datavalue":{"value":{"text":"Towards a computation system based on set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1825191$37BD9AC8-71B6-4A44-A01A-B061F5B357AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88c3df9e76a53cee14dfea316c2a4a2d9d566546","datavalue":{"value":"0684.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825191$2755324D-6FC5-4DDB-829F-7B492C5B3225","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7552ea149ab87f7dade6af0887c3edbc558bcfd","datavalue":{"value":"10.1016/0304-3975(88)90115-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825191$EDBF8C95-9530-437F-94FE-FF102727F5A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bce2cc6380726fb10d79b2328ed8cc6bcf2ac9d3","datavalue":{"value":{"entity-type":"item","numeric-id":1224088,"id":"Q1224088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$A36AE991-2455-4B2B-8C0A-2326EC7BDDC5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$606D5D3B-A086-4BBA-8539-2FE4363903CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1825191$63E4CF36-FAF9-46BE-8DEA-2A986A03DA1E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1a8d9ce8d6d683d752d065a7ec1532ee8e97daf3","datavalue":{"value":"An axiomatic theory of sets and rules is formulated, which permits the use of sets as data structures and allows rules to operate on rules, numbers, or sets. This theory combines the \\(\\lambda\\)-calculus with traditional set theories. A natural set-theoretic model of the theory is constructed, establishing the consistency of the theory and bounding its proof-theoretic strength, and giving in a sense its denotational semantics. Another model, a natural recursion-theoretic model, is constructed, in which only recursive operations from integers to integers are represented, even though the logic can be classical. Some related philosophical considerations on the notions of set, type, and data structure are given in an appendix.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825191$F5F56E7C-5430-404F-8B47-0B0139F83A0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825191$C3A9A0D4-4868-4372-985D-6B5D7D5D9B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825191$B258A6D9-F069-4913-B906-323F8464C5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825191$EF0F440F-321A-40C9-936A-8FA5243DBFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825191$08A1872A-7FB6-4C92-94E2-0F71DBB91635","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19b2f49562beef69d50b611360ba53c5490f5087","datavalue":{"value":"4120165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825191$97A15812-43D3-4F90-87DD-52C9DCAB7F62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a9b8c44d6d5af97bdf8b1c14ad140a145f7e48","datavalue":{"value":"constructive lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825191$08A6719C-85C7-483A-9C9A-E5492FCA9F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825191$2A5FB27B-91F2-468B-8DD4-74F6F62A4B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2419edffc48e76aca556693c74795bd60395b5bd","datavalue":{"value":"axiomatic theory of sets and rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825191$04ECF04E-73CF-4E63-ADE7-6720378B71A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d8de44b3f88bd19a871628a3509981cd748562","datavalue":{"value":"data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825191$B9CC55F4-09E1-46AF-AD86-303C13BEC11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c97f5e0ac97e08464e94415e29fb69eee5af42c2","datavalue":{"value":"set-theoretic model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825191$7F58801D-7297-4756-B25E-77D40C031D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825191$B59AF98A-368C-4460-8BF9-9E223BA3FED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"703e936085f6e09d296feef78cc60ebb00189661","datavalue":{"value":"recursion-theoretic model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825191$09A3A18E-F655-44C3-8107-1BD45E324989","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$C0209CA8-64DD-4444-92B7-0F05C6391672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$8C158DF7-EE9D-4480-8C06-17E7A6CFBA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$14BA38E6-2F6A-4198-9453-0B9E322D0470","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":"Q1825191$B5A83233-6518-42FE-BC6F-503F2BA6927E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"829d3f4c907f93bb65fae417153d94d5a12db6e5","datavalue":{"value":"https://doi.org/10.1016/0304-3975(88)90115-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1825191$BE57A97C-0405-4815-95E9-665A761D1E96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"563fed7a2195c7a010b5c5da20ec5dca300eb5a8","datavalue":{"value":"W1978895269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825191$1AC9B42A-226D-483A-9A6C-B03CA99637EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$F4ECA58D-952B-4823-84FE-76BBADDA797C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$43AB3AF2-D055-450F-BB78-8C1520684148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e24b39445cfca5147dd536f3fae9a40b727db0","datavalue":{"value":{"entity-type":"item","numeric-id":3757915,"id":"Q3757915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$59844BCB-637B-4EB0-8F01-0CD84FF9E240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$262744CD-9964-4105-A65E-2560106D7283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$1B0F894F-607B-4952-A9FA-288A054D6A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366ee1071310872ce51f69ac724d1b1cff46fae5","datavalue":{"value":{"entity-type":"item","numeric-id":5610115,"id":"Q5610115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$5EB50E74-1F9E-4B53-97B8-9C904AC9F8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dae46d0a0bd58b96aa9d6a447fa758a54a7c4df","datavalue":{"value":{"entity-type":"item","numeric-id":1104071,"id":"Q1104071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$0C7472D5-B585-43E0-8C05-9668BCE13211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"579a6fe1e5a36f5a952779060268e3364ef7da33","datavalue":{"value":{"entity-type":"item","numeric-id":1170021,"id":"Q1170021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$83ABB7A5-5605-4E6E-834E-C9CA10E00DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1448c91f0e7d84246a3f31dfa33129cf3bc2f12d","datavalue":{"value":{"entity-type":"item","numeric-id":4742765,"id":"Q4742765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$7A9CBB47-B827-43B5-B3EA-8006162C6374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$12614B19-ECF8-453D-82D0-D14BF2CB1AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6f65e2c0e5569766f713b06731c3a4efec50e40","datavalue":{"value":{"entity-type":"item","numeric-id":5719494,"id":"Q5719494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$23407681-6B42-487B-A26D-5F7031F51838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$9873169C-9CFF-4F46-93B5-1B82A4A22C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a105535a0b4cf840366405592d4900ef990604f","datavalue":{"value":{"entity-type":"item","numeric-id":3882452,"id":"Q3882452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$761FD143-32AC-4247-A2C6-4F44F5C38FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bffe03e8f71a8ccd00693a6ac76deaadbad012b1","datavalue":{"value":{"entity-type":"item","numeric-id":769896,"id":"Q769896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$E4B9D7CD-3F72-4D7E-AA27-CD6BC555553C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889c98b06b71353ead9711d9cef7ccbd6f932035","datavalue":{"value":{"entity-type":"item","numeric-id":3214890,"id":"Q3214890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$CAA28FFA-4ADB-493F-B831-47B556E479B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a25b81bd336fa26f6a3461c1dbd6a29212fbbe4e","datavalue":{"value":{"entity-type":"item","numeric-id":4405158,"id":"Q4405158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$8EB18974-9973-4270-840E-940894162A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff45213e7705dbf9044ed2762732fabe6973416","datavalue":{"value":{"entity-type":"item","numeric-id":1236108,"id":"Q1236108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$75407A19-FA2C-40FA-9FEA-D6BA57E95267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3915a4a137f651afdbc1462ae531061b82fed5d8","datavalue":{"value":{"entity-type":"item","numeric-id":1071017,"id":"Q1071017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$3D9F31F2-6265-42EA-A77D-2B9A7F447222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfd7f860998ae554344a9b398a439d86eee6d656","datavalue":{"value":{"entity-type":"item","numeric-id":3669409,"id":"Q3669409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$079AD659-0FDB-4059-A54E-91509D079331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$9E129D69-B5BC-4F87-85A4-4C8393B66BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"286883b08edee737b5119f2d67c4584ba7a83b53","datavalue":{"value":{"entity-type":"item","numeric-id":1050769,"id":"Q1050769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$550A045F-17DF-4C8F-AFA6-9C8174843C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"690eac6707df294089bbb4811045c174c4de9fef","datavalue":{"value":{"entity-type":"item","numeric-id":3260568,"id":"Q3260568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$865DAA46-377C-4127-A7E5-91633571F34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71a1f61b8ed88d0d99abfecebd94eb9dd2d7243","datavalue":{"value":{"entity-type":"item","numeric-id":3695221,"id":"Q3695221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$54119AFF-45CC-47A1-8406-1A525DB33DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$78C09A00-3ABF-4A7A-8E41-3B141C532AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f69e4e3c6e6db6273645f322c23116e1ad1c80","datavalue":{"value":{"entity-type":"item","numeric-id":3343983,"id":"Q3343983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$E311FA7B-F360-4FE0-A7FE-5029F42A947C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebc902a7c2b1dbb0f7448ecfe3c611c0c7d2d05","datavalue":{"value":{"entity-type":"item","numeric-id":2556322,"id":"Q2556322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$E6FAE47E-187B-4944-AFC8-1D95B26E5D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d77730595ea19ca4ba43a4d80d750b862c342ecc","datavalue":{"value":{"entity-type":"item","numeric-id":5654032,"id":"Q5654032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$83BA788C-AE1C-4917-879B-858F93026396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74605135c388db78d4d0ca86dc0cd54881585bea","datavalue":{"value":{"entity-type":"item","numeric-id":4073362,"id":"Q4073362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$F18042C7-71EF-48AF-98CC-5B8B24B99ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4d68f57b282d1f28f1eb37b1f5abc951e25cae5","datavalue":{"value":{"entity-type":"item","numeric-id":3754617,"id":"Q3754617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825191$6D581EAB-1931-45F7-ACB4-77B30C662734","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"509b00fed2256e9ba1eb8879aefba8915401bfc6","datavalue":{"value":{"entity-type":"item","numeric-id":5717043,"id":"Q5717043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdd1b252e9e36d1c190e2e4768e7496dfbfc5cf2","datavalue":{"value":{"amount":"+0.9157287","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":"Q1825191$6FE8A58A-9206-4EF8-95EB-CEE6B09C55BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f974ee18e388c982de73c3593132b99ae598447","datavalue":{"value":{"entity-type":"item","numeric-id":2842623,"id":"Q2842623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfe680c1b5994dee21a333ef526b887eca4dc8b2","datavalue":{"value":{"amount":"+0.91191053","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":"Q1825191$421044F4-235F-44C4-B947-AE85B1BB9EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2960671ac877ee02b360c2ea5f4872adf4b25d5","datavalue":{"value":{"entity-type":"item","numeric-id":4822150,"id":"Q4822150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0df7acb7e173d979f8d7d0dd34f8c065e0cd04dc","datavalue":{"value":{"amount":"+0.8986105","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":"Q1825191$110CD92F-6AB1-447C-A660-0AE417857567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8752794b04fca1b283a9efb70dc05b76209bfada","datavalue":{"value":{"entity-type":"item","numeric-id":2387041,"id":"Q2387041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c7a6e62dcc9fcf1a69396b75a253b4c836accb2","datavalue":{"value":{"amount":"+0.8973567","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":"Q1825191$3F1E54C4-950C-4539-A1BC-0B518CFAD9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f1ab8fcc1a741d2ab32879528c1dbdde436cacb","datavalue":{"value":{"entity-type":"item","numeric-id":5749278,"id":"Q5749278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa070cf362900322ffe05816c20c0fe278855ec2","datavalue":{"value":{"amount":"+0.8941028","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":"Q1825191$050F0F51-300F-422C-AE76-4DFB3E7146DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e8a5775a69ced0f446042b595c43a868ad1e3b","datavalue":{"value":{"entity-type":"item","numeric-id":4976161,"id":"Q4976161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"628014b9a6ee43c67742b00d6fd1357d408edac8","datavalue":{"value":{"amount":"+0.8901985","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":"Q1825191$F678DA07-768E-47B6-86D7-7F9DC010DA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ddf0f70dab946add5e71a0601ae4131e2dd9699","datavalue":{"value":{"entity-type":"item","numeric-id":3035278,"id":"Q3035278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"287af7a2e251c16a458b139ddba25411f72d95c1","datavalue":{"value":{"amount":"+0.88803536","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":"Q1825191$FE8AEA06-F288-4262-895A-6CCFBAC5CE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcba02a33af4aa7d72de12bc9aee7a413cb1c45b","datavalue":{"value":{"entity-type":"item","numeric-id":4553281,"id":"Q4553281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfc89bccd99e0788c9d81ab29466b0fbe41dd025","datavalue":{"value":{"amount":"+0.88362217","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":"Q1825191$6F5CF220-655B-432A-8A21-AB0990483669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81a08f2f56acb6d8c4575c85dbdf98a8bbb194c4","datavalue":{"value":{"entity-type":"item","numeric-id":3166681,"id":"Q3166681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f690afe0fbc4558103916773df5631a7b506e18","datavalue":{"value":{"amount":"+0.8804166","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":"Q1825191$155D7E33-C509-4B8D-BEBF-D7535191D39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c22ad13ff34d26f0bb8261252b81ca19235cd1d","datavalue":{"value":{"entity-type":"item","numeric-id":4020486,"id":"Q4020486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed81dcbf4e5a7cd7b5a1e3f27af30b50992d88d","datavalue":{"value":{"amount":"+0.8801591","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":"Q1825191$1A4C98CB-9606-4B35-BDCA-BF621F10B0BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards a computation system based on set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_a_computation_system_based_on_set_theory"}}}}}