{"entities":{"Q3742702":{"pageid":5772608,"ns":120,"title":"Item:Q3742702","lastrevid":50956244,"modified":"2026-01-15T22:29:12Z","type":"item","id":"Q3742702","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3978366"}},"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":"Q3742702$3F6AEEB9-7E05-4ED4-8AE4-811F187AE95F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd5fe4a2b77635e749f1bacba52666e304db558e","datavalue":{"value":"0605.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3742702$C8E1AA46-CCBF-48D4-8BB9-982F636C14AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e1957d20bd80c77cf6d1a55847688227d4cf6ab","datavalue":{"value":{"entity-type":"item","numeric-id":914404,"id":"Q914404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3742702$9E854DA9-5F55-4517-A818-B02E5EDFE89F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3742702$ED75F50D-1926-40D3-903F-1F345846E9B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3742702$196901CC-3B4C-413D-94EC-574FC3EF8F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3742702$C4495295-996E-4E1C-8AC3-7240D655CCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3742702$4F58FE08-A79B-4982-87D7-DC9118695712","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d3a66650ad0ed5dedd622f28908246d453d597a","datavalue":{"value":"3978366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3742702$AC0A9830-34E0-4308-BC51-FF165D338F87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5c8c842a1abf85355470d98c3ae993d05df5dd","datavalue":{"value":"bounded nondeterministic choice operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742702$16C97D4A-F4C4-4DBA-A39A-B77838A846DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742702$7135CD0D-6194-4BE6-B53B-45A23FB4144A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742702$9FFEB926-3D49-44E6-A062-7D7C2400DDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f335c892071e145c616ffe3a8a60ddc03439cc4d","datavalue":{"value":"toy concurrent language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3742702$6DBB7CB8-C54A-4248-A3E9-2E29FFFCF205","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":"Q3742702$965FE2F7-FE6C-4281-8DE7-918FBB3BE79B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f474802c0cdfa5c61588f518913c1cb25d4b4ddb","datavalue":{"value":{"entity-type":"item","numeric-id":3992231,"id":"Q3992231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"477278feba6166150beaf859c3dbbfb642d77a49","datavalue":{"value":{"amount":"+0.857714056968689","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":"Q3742702$2AC2F0E0-3707-4E35-97D5-683E89C3AFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ca0082fe6fc7d50d3c090aad7aeca968befd269","datavalue":{"value":{"entity-type":"item","numeric-id":3490967,"id":"Q3490967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b58f2c341feb03f9603d304893c75d925e2ad95e","datavalue":{"value":{"amount":"+0.8533673286437988","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":"Q3742702$2EC61DA0-E0C7-48F6-A2AF-337668E80456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3615db0c14cee2afc9933a562c6c4c4724aabad","datavalue":{"value":{"entity-type":"item","numeric-id":5287526,"id":"Q5287526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae4c958215e65d1414aa982ae903c0e3d5796031","datavalue":{"value":{"amount":"+0.7920272946357727","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":"Q3742702$D8D31BCB-B3A2-4826-A3F6-7B59E0CB447D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee83596e6d287c55f5dc7750ba7b99e834e06b73","datavalue":{"value":{"entity-type":"item","numeric-id":1806174,"id":"Q1806174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae4c958215e65d1414aa982ae903c0e3d5796031","datavalue":{"value":{"amount":"+0.7920272946357727","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":"Q3742702$1645E708-6DEF-4E37-B697-C1981E922636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776f3f5df5bd13b90f8361457781f76bfbbb6db6","datavalue":{"value":{"entity-type":"item","numeric-id":4250051,"id":"Q4250051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05a4be5d0f4dfa0d9383edd812c71be544e07502","datavalue":{"value":{"amount":"+0.7641438841819763","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":"Q3742702$1B7CF424-E527-4A79-B365-40107721966F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3742702","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3742702"}}}}}