{"entities":{"Q2908474":{"pageid":2919199,"ns":120,"title":"Item:Q2908474","lastrevid":51543671,"modified":"2026-01-18T17:33:03Z","type":"item","id":"Q2908474","labels":{"en":{"language":"en","value":"Unification modulo synchronous distributivity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6076895"}},"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":"Q2908474$99683EE7-575D-4170-8777-3E183E6358C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b1cc2e019ed865d76720844f3967566f6a0fead","datavalue":{"value":{"text":"Unification Modulo Synchronous Distributivity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908474$691AEAD7-2AD8-49AD-A603-419AA8B64246","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08a8424fe0c5e43e94279dc8c16615f6ee00ff2a","datavalue":{"value":"1358.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908474$423828C9-26FA-4627-BEE5-E1AF77F75632","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7485398ae63473b0eeef6af4c3325ec653e51b22","datavalue":{"value":"10.1007/978-3-642-31365-3_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908474$403EA11C-56B0-42B7-AD03-37E1A432C0E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d66928e7f941233a38d3104e0405cbb2b577305","datavalue":{"value":{"entity-type":"item","numeric-id":437034,"id":"Q437034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908474$9EC4ABF6-7AD5-4C39-9167-8C28446D7D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59a9b5b792b433b0fd4c9e8ab15f2bd3a7afdc05","datavalue":{"value":{"entity-type":"item","numeric-id":831916,"id":"Q831916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908474$93EA15BE-6B0C-4840-91CF-B991F2224612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b74f2805d58a252b355491b4dc993b2648b5d8c","datavalue":{"value":{"entity-type":"item","numeric-id":437036,"id":"Q437036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908474$69B90BD1-75E9-4342-9AEF-53B89B69E7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6587fdd31c2d2b6b0dfb7e31f546481ef32f5a93","datavalue":{"value":{"entity-type":"item","numeric-id":171405,"id":"Q171405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908474$E89A0518-9BE5-424B-BD6A-C7EE3CBE729F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5450522126073beebe5b41bdc84b794c874c239","datavalue":{"value":{"entity-type":"item","numeric-id":437030,"id":"Q437030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908474$0DA13A74-0591-4D3E-A7C8-FB677ADA5E83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908474$16EEC68F-A390-493D-AE9B-AEA608A16770","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0374f9cee657eee67ac4dd9d79d96d1538c53a","datavalue":{"value":{"time":"+2012-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908474$1108BE5D-BBCD-4E7D-A8CC-5BE85D8BF147","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908474$39118DD4-6733-41DA-9ADB-EBE8786B3FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908474$84A50144-3C4C-4711-9C72-45BDADFBBE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908474$9054E7A6-0961-4B22-B609-4C3529058956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908474$512A8B72-58FB-4AAC-B452-6A3B602842A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908474$979300A3-5BC2-49C1-8D31-11C6D49FEBD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f21ac2a4d9e71b6ff418a5e684e50b5dcb8097e","datavalue":{"value":"6076895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908474$3BD6BB2A-19DB-4C8B-8E86-A485E29AF578","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a24053463d3d09db0bb37e1821671cf0c98e2fe7","datavalue":{"value":"equational unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908474$B6FAF2AC-0349-4C83-BC16-D0BB6E8F45A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f45e3d721dffdb361ec0d5e9858b562ac8d102bc","datavalue":{"value":"intercell Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908474$4CCC5DB1-A86C-4035-AAC6-EC50918AAFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908474$69B03E99-6479-44C9-A1E2-83852A72B6F2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e19b1aa453791d0e48d1893599b4abd09543ed7f","datavalue":{"value":"Q118190403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908474$0C416044-0ADD-4887-B7E0-2D44D22413E4","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":"Q2908474$8208AB1E-132A-4000-96BA-2EF5EA5C1BAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7879150f6a7be8499e6f6554405af06f416407a1","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31365-3_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908474$32C9A5CE-6031-4F71-BFD0-4FC14BCFC7B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2adf646e6f49dd80cc3308573529d5318657c8f4","datavalue":{"value":"W1807513822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908474$9FCE5D0A-2A60-4683-B3A6-DAAE469E2157","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce7f3ac921c8d836253d8bb64c9a6e7ec23075d","datavalue":{"value":{"entity-type":"item","numeric-id":3696499,"id":"Q3696499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"948eb3e14911da6382561a1c46d3b90d27881d2f","datavalue":{"value":{"amount":"+0.8441354036331177","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":"Q2908474$1A290E47-300A-4F23-93D0-B82F78A43040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9400a58fbc504e6dfd7a75f10d28377c6eecdee2","datavalue":{"value":{"entity-type":"item","numeric-id":1099650,"id":"Q1099650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb1c1c3d73606dc392893e891536f691643fe446","datavalue":{"value":{"amount":"+0.832125186920166","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":"Q2908474$141C9D20-79FB-4EF7-B631-CBB9C0B016A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14ac514fbadeed2671d43af4c687f21fb724dd9","datavalue":{"value":{"entity-type":"item","numeric-id":674747,"id":"Q674747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e7fc8400a297e42fc91da3e1d72368d2b199bd2","datavalue":{"value":{"amount":"+0.8283101916313171","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":"Q2908474$E87213B3-4085-4D3E-BBD2-CF1C9C477153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae4f67592cf7c311b48fa4d87b98ca84e05c12ce","datavalue":{"value":{"entity-type":"item","numeric-id":1774555,"id":"Q1774555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"161a6a43657b9933019544988d4420b3280ab954","datavalue":{"value":{"amount":"+0.8178331255912781","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":"Q2908474$E25247FF-D6BC-48D4-A4CD-833B15010122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bb4afc175ef8e7b41ce467192bd6110a48eba28","datavalue":{"value":{"entity-type":"item","numeric-id":5900732,"id":"Q5900732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d66113f714bad0c7117a203aab4cf55c67caf2f","datavalue":{"value":{"amount":"+0.8097308874130249","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":"Q2908474$E9AE89C1-29CD-4ED6-9E0B-0666E9B13FB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2908474","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2908474"}}}}}