{"entities":{"Q1199933":{"pageid":1210682,"ns":120,"title":"Item:Q1199933","lastrevid":77944436,"modified":"2026-05-06T10:25:10Z","type":"item","id":"Q1199933","labels":{"en":{"language":"en","value":"A theory for program and data type specification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 96274"}},"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":"Q1199933$3F93303B-232D-478F-B752-2BD3F4B421A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5a29a6604c7ff77634ec52b988a3a62fe5f6588","datavalue":{"value":{"text":"A theory for program and data type specification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1199933$7D13B339-01C2-47DC-B0AD-43EAF4890C2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"581597a346167d67a33c6c08035de1ab2adf5560","datavalue":{"value":"0759.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199933$DEEDA48C-B34C-43FB-B671-F946D818E487","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8555f1c2cab004252e5c60bf249be6a2fcf38d8","datavalue":{"value":"10.1016/0304-3975(92)90169-G","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199933$C41AAE9F-48E7-498F-A8AE-B2D35DF710BD","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":"Q1199933$59122547-E1D2-4E73-A056-3814042A5376","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0879f591850b4f9f14b2c481d3e08995aa22089","datavalue":{"value":{"time":"+1993-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1199933$2530FD23-8AA6-4214-A97D-12087BB2D3BD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3f7dd7927055661f75f0b34cb0ec8df717889993","datavalue":{"value":"This is an attempt to develop a wide spectrum formalism which will support not only reasoning about program equivalence, but also covers reasoning about some properties of computations, specifications of programs and data types. The first-order, two-layered theory which is called IOCC (impredective theory of operations, control and classes) was created for these purposes. The lower layer is a theory of program equivalence and definedness. The upper layer is a theory of class membership with a general principle for defining classes. Examples are given to illustrate the reasoning about programs, steams and coroutines.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199933$11A11F6A-99A9-4B5C-8D38-EE19D0D61B6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199933$48BA4D8A-3AC8-4A37-9975-7E2DB8EBDEC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6600696c398aa9c06c19aa2a2b7a8b389df37356","datavalue":{"value":"96274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199933$FD2AEF38-ACA7-4A35-A016-BA53280B1C6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dac5de8e537c71cd90df166682399621b2f7fbf","datavalue":{"value":"program equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199933$E532FF8A-E53F-48FD-A895-49E10CBF2066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3300d494d834018bd4caaa8717cf9394d7055b92","datavalue":{"value":"reasoning about programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199933$A7C5601E-540E-4E55-A7F9-F2F47C7E7378","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd06b85e820d9a6a030d7377f177d55fded7c36b","datavalue":{"value":{"entity-type":"item","numeric-id":862852,"id":"Q862852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199933$4D768377-2450-41D0-BEB4-005941D2E9EC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"377196f0936f14c5f40316c205cbb7535714207a","datavalue":{"value":{"entity-type":"item","numeric-id":585662,"id":"Q585662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199933$F57BFE75-6C87-428A-B7CF-19BA127C04AC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199933$FC8FE525-E31A-46B8-B13B-F7701A2CC9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8f057223c758d6b8295ecbdef4842faac2ccb72","datavalue":{"value":{"entity-type":"item","numeric-id":19253,"id":"Q19253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199933$C690BA9E-8A63-4742-8178-CDDC3794A4D0","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":"Q1199933$9031F3D2-ADBF-405B-B71E-C4F1F3C0EB79","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64008b4c107ef7e4a7969f67350470b1da25942a","datavalue":{"value":{"entity-type":"item","numeric-id":3686011,"id":"Q3686011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199933$0D2A1D32-8339-43D6-A716-AF8F70E69163","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":"Q1199933$4FCBA1E6-C115-4648-9366-0447F2F2D9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf74703b34de1626ffd3d7ae5025c7b42a757dbf","datavalue":{"value":{"entity-type":"item","numeric-id":1169290,"id":"Q1169290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199933$3CB8D1BD-A19A-47CA-93E8-1E6E76A946EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"993a0290c8b5d5862b3c4459907f50d914c2e0e5","datavalue":{"value":{"entity-type":"item","numeric-id":3763565,"id":"Q3763565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199933$1FFBC036-A06E-4CE2-98A5-869B52AAABB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c8358538c5505f8c368aa2c38fabae5fdc6c7bc","datavalue":{"value":{"entity-type":"item","numeric-id":4048547,"id":"Q4048547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199933$63256AC8-A369-464F-8E5C-89B126A98134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7459964b7e59b41b227b93925d675f0772165a7b","datavalue":{"value":{"entity-type":"item","numeric-id":5725063,"id":"Q5725063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199933$828499E0-CED1-4289-AEDF-7EE253C4CC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce1ac07dd7e3937aa3ea6a06de1f75cfafba7b45","datavalue":{"value":{"entity-type":"item","numeric-id":3709890,"id":"Q3709890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199933$205E01F8-2B8A-4886-B768-8A680BE8A053","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":"Q1199933$3EB0F232-7506-429A-8DB6-FC24121D2A01","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":"Q1199933$85302DA7-9DB0-4530-89EA-325CCC885D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b37b51d088d2c45ed7c84e6aa3125a73b3fc8a69","datavalue":{"value":{"entity-type":"item","numeric-id":3663255,"id":"Q3663255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199933$BFA088D2-B2D5-41FE-9DF1-B40DB2F04FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61ddd64788745be925c7c4cbc9948dfa31aeee1","datavalue":{"value":{"entity-type":"item","numeric-id":4723729,"id":"Q4723729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199933$D88DCE2C-C7F7-4EF1-8531-987CE49E5C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab28a128d06599b12bbfda72007f018a92bc5270","datavalue":{"value":{"entity-type":"item","numeric-id":3478384,"id":"Q3478384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199933$4561081B-CCD2-48E9-8503-0C622A07BCFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f80c309e64b1cfeded9c015638835fbb819eec","datavalue":{"value":{"entity-type":"item","numeric-id":1101435,"id":"Q1101435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199933$353B2623-6742-4132-B59D-6C0495EF885F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14199d752f4bebe689aaa85d75a54b5e20dfe3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1199538,"id":"Q1199538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199933$6AC7E236-BD10-42A1-9E15-C30A7AE4B477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98519703c857a71221710da88d5b08b7ac989778","datavalue":{"value":{"entity-type":"item","numeric-id":5881291,"id":"Q5881291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199933$398F53CB-F2BA-4527-839F-F4C3D6767936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1208c35792fdf6d7234d5d330a526691eb60bc71","datavalue":{"value":{"entity-type":"item","numeric-id":5345264,"id":"Q5345264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199933$93541706-07F2-41E3-BF73-9D7F8CB1BE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d00685e690962496b9171a3355f96696227f14ef","datavalue":{"value":{"entity-type":"item","numeric-id":5528159,"id":"Q5528159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199933$3F41A02D-2BA0-42FA-9BF4-421A5787843A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199933$54B4B06C-D5FE-4ECB-99D8-E9A3E262150F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199933$1D70CF63-B2EC-4153-BC0D-6C562E220DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199933$BF706EC9-C9F0-4886-854A-F6ED4080625B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b379364cb252742c8efdf365072062c0dfb27c0","datavalue":{"value":{"entity-type":"item","numeric-id":5685626,"id":"Q5685626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199933$C478E7A1-CA00-4F60-9AE0-BAAF3303E57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7536e92384e11ec3ce8637ede805331f9e036d8","datavalue":{"value":{"entity-type":"item","numeric-id":3997095,"id":"Q3997095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199933$20E48952-D6DA-4A7A-9971-85AA8B585396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5772b6b6cbda19f7d63daf6ff0f57c5ea0875bde","datavalue":{"value":{"entity-type":"item","numeric-id":1290339,"id":"Q1290339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199933$B955CAC0-98F8-40A3-8550-04C7A03FFE87","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af493badfda71e5a7b19f0fa5c1461167b3864b6","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90169-g","type":"string"},"datatype":"url"},"type":"statement","id":"Q1199933$702DC399-C8B9-4F1B-A924-23B57C570003","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8611adf50ee88200fa846429d9f81b0c80640f5a","datavalue":{"value":"W2012140088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199933$92AE0859-CDEA-4EFB-BDC4-09619121428B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02aa0f661de7f63c92b071a83c80af65e56221ac","datavalue":{"value":{"entity-type":"item","numeric-id":4282807,"id":"Q4282807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c4f34d382f7e2d1a63cf27d599dd3a5493a8d53","datavalue":{"value":{"amount":"+0.9381422","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":"Q1199933$3F8CA58F-B0D1-4A07-9923-35F6B893FFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffa43dfa53db92802c473709570104b83e8debbf","datavalue":{"value":{"entity-type":"item","numeric-id":2277827,"id":"Q2277827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e016fb6af2a88ab8694091b640437fa450d4e796","datavalue":{"value":{"amount":"+0.91264504","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":"Q1199933$3D27680A-7469-4C41-B5D9-9170E4AE493B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e3b9351f04c4486275722680018c00cca8856cb","datavalue":{"value":{"entity-type":"item","numeric-id":3323252,"id":"Q3323252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6c7cdc905df705e8d8f4ac48440dd6c0f744c23","datavalue":{"value":{"amount":"+0.91193795","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":"Q1199933$00957B49-80A8-43A1-B605-FC3D12246C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb93c461fcf87a6649fbea436d5dde7eb868529c","datavalue":{"value":{"entity-type":"item","numeric-id":4016523,"id":"Q4016523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e60578070c23ae048981e146b65efa34d6e24db","datavalue":{"value":{"amount":"+0.9118123","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":"Q1199933$7711FDFE-755A-4F8D-A8D0-1D0C44E63469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08187324d1c990bfba64dc685b1e7bd744d3090b","datavalue":{"value":{"entity-type":"item","numeric-id":4723729,"id":"Q4723729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e997f4f52db30e2ccba0fd8a6eeca22d4fcd3024","datavalue":{"value":{"amount":"+0.90590197","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":"Q1199933$E457EEFA-E1FF-465D-812E-C19FD627A39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"823374b270b99f64df1dbf3b1285b9d83f1a328b","datavalue":{"value":{"entity-type":"item","numeric-id":3479540,"id":"Q3479540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"078b1c5c6802b4f9dc16cfcb4ba805c68df374b4","datavalue":{"value":{"amount":"+0.905624","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":"Q1199933$31AB4F4F-B73B-4CCC-AEA2-A631A19B4280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d1b33c4c7e43d1280f5787eb1ba8812c5009c4d","datavalue":{"value":{"entity-type":"item","numeric-id":5402549,"id":"Q5402549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab56be1b043b77aed58e839c37173f778768c34f","datavalue":{"value":{"amount":"+0.90346634","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":"Q1199933$294DBC12-D21D-45F0-8739-63CF9DF0187A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84cd93a17f57c18fd09262e4d9be653bb70f38f9","datavalue":{"value":{"entity-type":"item","numeric-id":3476793,"id":"Q3476793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98c9356f3b5f440bd3f7055499864916a3c99304","datavalue":{"value":{"amount":"+0.9011751","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":"Q1199933$9A1885D5-F300-45B1-9FE1-627CFFEE7E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d4f01e815cb09b5fb8a5fb7514d4962b182eea","datavalue":{"value":{"entity-type":"item","numeric-id":2719126,"id":"Q2719126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"380a3a34567d5a546d3f6a0d35611dd2672ed638","datavalue":{"value":{"amount":"+0.9009218","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":"Q1199933$17107343-8F70-40DA-903C-66642A195BEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A theory for program and data type specification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_theory_for_program_and_data_type_specification"}}}}}