{"entities":{"Q6544119":{"pageid":14155263,"ns":120,"title":"Item:Q6544119","lastrevid":55668559,"modified":"2026-02-17T20:43:01Z","type":"item","id":"Q6544119","labels":{"en":{"language":"en","value":"Encoding type universes without using matching modulo associativity and commutativity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7853730"}},"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":"Q6544119$20C359A3-3094-4EEA-B641-39458FC764DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9e0fd03942e008e2366e3c77d206d9118efeb7a","datavalue":{"value":{"text":"Encoding type universes without using matching modulo associativity and commutativity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6544119$C0A32E29-83C6-4D0A-9735-33767C45E805","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2dbcc0d9a5ae8d59915017de866f3ab39f17a6b1","datavalue":{"value":"1541.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544119$465E4AD6-A08E-4E11-82B3-841DCF7B264C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8807e9b5ca6f3e9539fb2629b3f3fe474d0fb0ea","datavalue":{"value":{"entity-type":"item","numeric-id":235598,"id":"Q235598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544119$A734F506-5F40-45A6-B630-6E53F01E034F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb446d46e1c3c1f4c9c481337a64fd2c7b9ecce2","datavalue":{"value":{"time":"+2024-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6544119$EE0F93E8-E957-4AE7-A8D6-0B16C8A48E30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544119$DE61D173-8CC9-42A4-BD7E-7723408EA974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544119$05ADEC89-A1F7-4A61-BBDC-AB6DACFC1463","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffaa493245ac945af3caad0472e139b7bff575ef","datavalue":{"value":"7853730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544119$367740DC-FE4F-46D7-BB58-335DCC95F64E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95c030d9a0c4c312aef7a319ac8b5849913b2040","datavalue":{"value":"logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544119$D1DA6270-6617-4C31-B65B-6CD5FB06ABDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544119$09FC073B-778D-441D-A435-18699886AAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75581a6aa745605e44584e9446593ad19c2c755f","datavalue":{"value":"type universes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544119$86A11890-209B-4739-A376-7CE79B49B0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544119$20537BA2-56CC-4989-9647-63483E094D12","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":"Q6544119$2ECF7B76-EBAC-4DD0-A8C5-4C4B11891A43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af0645a13a71856425fcff83ec5e4c0bfa6b1458","datavalue":{"value":"10.4230/LIPICS.FSCD.2022.24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544119$D387F0A8-00B2-42CA-B67C-88CCF78E7ED0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c62c088cec7687b1ce357dc6e45c09b92cc3a17","datavalue":{"value":{"entity-type":"item","numeric-id":5883738,"id":"Q5883738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"336fef3fb07ed72e742ccccd3562cb713db8714c","datavalue":{"value":{"amount":"+0.7311697006225586","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":"Q6544119$AF9A5796-AE93-435F-BDB8-CA39B98E4EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb659874dd1c4dd244645c9a91fd0be0b9cb3b8","datavalue":{"value":{"entity-type":"item","numeric-id":2942930,"id":"Q2942930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c6359620a1c485aaffb4c0e33700f4fd40307d","datavalue":{"value":{"amount":"+0.7084627151489258","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":"Q6544119$3F94C448-2DD5-4B60-B892-14433FD248E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bc30a8dea1385d145bf3ab7fd31ab21b42b802f","datavalue":{"value":{"entity-type":"item","numeric-id":1577344,"id":"Q1577344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96d02cdfb3e542b5356b18df63bd4259b8e897f0","datavalue":{"value":{"amount":"+0.7001223564147949","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":"Q6544119$413C4E5A-6ACF-4CB5-97FB-E18259774DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdfd99d9c223eb0f3fc5e26de01873d6f72966b3","datavalue":{"value":{"entity-type":"item","numeric-id":4364399,"id":"Q4364399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56ebed7eaa33ea91ffe9bf66746a4b4d19771e9f","datavalue":{"value":{"amount":"+0.6988223791122437","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":"Q6544119$6D2AE955-A965-43AD-913B-3728FB6282D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42808a161fe6902106a77106d0ee554c67dc7553","datavalue":{"value":{"entity-type":"item","numeric-id":2851046,"id":"Q2851046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a5171742fb63c1cde6506a40fde60897d1d00f3","datavalue":{"value":{"amount":"+0.693663477897644","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":"Q6544119$590E094A-5C36-4D76-9E21-450871FE7F62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6544119","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6544119"}}}}}