{"entities":{"Q3028319":{"pageid":3039035,"ns":120,"title":"Item:Q3028319","lastrevid":49090795,"modified":"2026-01-06T14:14:31Z","type":"item","id":"Q3028319","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4016167"}},"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":"Q3028319$31A3B438-8EE2-4A5E-A045-F92405C29B3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89af019db3a39da4b1a21356adc6916fd20a9d31","datavalue":{"value":"0625.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028319$58168E81-CDA1-4D3F-8609-21D53B6F27F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41a56534dd23780900fa1075d2898141d6886e7a","datavalue":{"value":{"entity-type":"item","numeric-id":169895,"id":"Q169895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3028319$A5743ED8-28F9-4632-84F1-6BDB42E7518B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34f99c9947f4d98af9da609b6496b55645bbe075","datavalue":{"value":{"entity-type":"item","numeric-id":1238600,"id":"Q1238600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3028319$A5DF4833-E595-4577-A235-BA3AA674446F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3028319$1184B60E-C69D-4A79-8701-848090CB5845","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028319$DF805EDD-FE47-481E-B670-34408B56F4CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"caf67c0c8a10155d5d49454ca6570f2ac231ee01","datavalue":{"value":"4016167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028319$AE8FE81E-8100-4F53-B2F1-B3845A7EBECB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df7c777cf2f21d84480ff2497ab34955d9d9deea","datavalue":{"value":"Set abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028319$939801C3-CB63-4FEC-A54A-65AE39AC4387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2c23285ea4b73fe89941dd1245c610af5fbadc","datavalue":{"value":"declarative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028319$2A70013A-CDEB-4C2C-98F1-0F2D7520CA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e8516f10c520b1844003778699c0bf661bde222","datavalue":{"value":"equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028319$C20C9D46-40B3-43B7-A1E0-979966668897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7db84be9fc1bbaa3e685f7f0364a508394586593","datavalue":{"value":"SEL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028319$5FC3DA86-7C72-4999-A57A-C1C5175A7E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d72acd99f86b803f48842e39e9c27d0f944ac77","datavalue":{"value":"Set-Equation Language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028319$D1CE4ACA-38BA-434A-B6AD-2986DB8E38AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77bfe34b4ce751ec5ab36c3d97d8f401080ec33f","datavalue":{"value":"confluent rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028319$FB78599A-50C9-4AA2-97A0-E4C62009E00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028319$6C3ADE16-394E-423F-A2C2-AB47B6A8F9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a176c90dc55a540692a79242e91c177c6edc0312","datavalue":{"value":"Nondeterministic reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028319$5C81DC31-BEF5-47C8-9753-720A3FD85B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bec26fdfcc5c03dfc14c3ea7b956d62b98724b0","datavalue":{"value":"Deterministic reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028319$4E369F34-09F3-45F5-951C-AD239320BAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028319$7462E748-0576-4BA5-A7CB-44B3D672071C","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":"Q3028319$69123AB1-DC49-407C-87BC-CD48F199D92A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"873161ed08bb81b8bfc851bef1593b9f4ac0f6c0","datavalue":{"value":{"entity-type":"item","numeric-id":5055714,"id":"Q5055714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9614f726069d2110ec7eebb13fc0aa29da3b5c4f","datavalue":{"value":{"amount":"+0.7752240896224976","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":"Q3028319$DC45F498-B460-4D35-BEA6-1230FAEFBB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b25417c41910f507b005a1a0c14e93c4ffdde672","datavalue":{"value":{"entity-type":"item","numeric-id":3741005,"id":"Q3741005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbc4a32e730e1bd61b446c76b0ce832dfb7a5a80","datavalue":{"value":{"amount":"+0.7396918535232544","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":"Q3028319$6AFA95B2-7A99-4679-B921-9B5BF978A5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15025d6ddfd447c2688e8d2f5f79ac2fb1d81e43","datavalue":{"value":{"entity-type":"item","numeric-id":1094865,"id":"Q1094865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5e8e333a9d10b4d3d85307afd561f7cceaf55dc","datavalue":{"value":{"amount":"+0.7339158654212952","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":"Q3028319$47F7E9B1-FF67-411F-848D-3C6493C87325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3159e2d58dc5d61fccfc3fbf2d8dba1eca813f","datavalue":{"value":{"entity-type":"item","numeric-id":4494367,"id":"Q4494367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a11e5d0aab23d91a0f6c8c7e59b34031f47533f","datavalue":{"value":{"amount":"+0.7331281900405884","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":"Q3028319$47A29E4F-A76D-42FE-B3D5-4FC28C98FB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0053cff151748c54dfc2d9f0b8a6aef4b44093cf","datavalue":{"value":{"entity-type":"item","numeric-id":3129506,"id":"Q3129506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd09edc832f2560bb5ae94625ae34c252d83c600","datavalue":{"value":{"amount":"+0.7290295362472534","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":"Q3028319$3F4591B0-A023-45EC-9B1F-4285D33B1D81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3028319","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3028319"}}}}}