{"entities":{"Q1592932":{"pageid":1603672,"ns":120,"title":"Item:Q1592932","lastrevid":72278430,"modified":"2026-04-14T03:50:05Z","type":"item","id":"Q1592932","labels":{"en":{"language":"en","value":"On the decidability of the equivalence problem for orthogonal sequential programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1553257"}},"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":"Q1592932$09BD0841-F416-41AE-9D4F-8D5E5EE2A37D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be3169fb4cab122649a687e1e2bf5580158e6005","datavalue":{"value":{"text":"On the decidability of the equivalence problem for orthogonal sequential programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1592932$B2EF0EEA-27AE-4F99-A886-E9078560AFD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57c9698f4b0d6d9fbfea57ce8916202200dab45c","datavalue":{"value":"0968.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1592932$874117CD-91B3-402A-AE95-3E4DC7969498","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a287a462af146bda421b9173a16cb69c24871a2","datavalue":{"value":"10.1023/A:1009954232570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1592932$5450A5F8-E58B-4FFD-A21A-791BF8010FF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7153bb19785740785cd6347b4d653dc5d37c5e4d","datavalue":{"value":{"entity-type":"item","numeric-id":1592931,"id":"Q1592931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1592932$13E114C1-58CC-4DD6-ABDF-7632FA5F7D79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d3108ed7d00c3d311e40535b62d1289b07410251","datavalue":{"value":{"entity-type":"item","numeric-id":174794,"id":"Q174794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1592932$871ED048-AE54-4ED5-B733-04910516524F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"25cd5a8c8926448102ec7073cc7552d0d696d3ad","datavalue":{"value":{"time":"+2001-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1592932$EFE2737D-6EFD-472E-B6E3-56C1B58E068F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1592932$1C77B9CE-2CD7-422F-B597-F04FC693E8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1592932$501DA827-9526-4EE4-B2E3-82E20C5A5A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1592932$13CAE8FD-F03D-4C83-915E-EDAC7B7844B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3c1dfbb665524e415aef2b86853bd6e956c9545","datavalue":{"value":"1553257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1592932$E0690C91-976F-40CA-A3E1-94B1D095A5AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ece9d7e14882d7752f43fdebe7eee8e5faa4f948","datavalue":{"value":"orthogonal substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1592932$07B203BC-A152-473A-BDA0-5C1914DAACD4","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":"Q1592932$7090073E-74A4-40C4-8B64-7E02711458CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"071f7201b2c4df13673b5452ab713df1be4c664f","datavalue":{"value":"https://doi.org/10.1023/a:1009954232570","type":"string"},"datatype":"url"},"type":"statement","id":"Q1592932$AC8183B0-074A-4A4D-9C2D-83268292BD00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"561db83e9c0cf9aec8ec9e3a6dbc3806782e1257","datavalue":{"value":"W1600563181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1592932$B312EA99-E576-4DE4-878E-7A8A22747BEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"506b033e8ee820ddb31ae4b6a928f3a9843320e7","datavalue":{"value":{"entity-type":"item","numeric-id":4508638,"id":"Q4508638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53ee7fef8cd70da5ce95d1f1f449baf9743dfb09","datavalue":{"value":{"amount":"+0.7753660082817078","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":"Q1592932$2C0A610E-B222-4D35-8A11-799AF77C5BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3961881daedb1be6dbd20244f964d63eb204b8","datavalue":{"value":{"entity-type":"item","numeric-id":3773319,"id":"Q3773319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32e7ee1cd39730086610560059414e7c63fa2229","datavalue":{"value":{"amount":"+0.7485883235931396","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":"Q1592932$0F0B4A72-C9E9-4402-BE6C-07C46EFA5467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dafe3332acd3ace951db170d26a0f8dff2aadb05","datavalue":{"value":{"entity-type":"item","numeric-id":5897694,"id":"Q5897694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76eb134d19fe94ad6c2d6c3c0244e7681a2cba4f","datavalue":{"value":{"amount":"+0.7482203245162964","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":"Q1592932$DC487815-EFAF-4880-9D0D-2878E04CBC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a930055d753478b3a2ea3281f3a0f499ccfb4647","datavalue":{"value":{"entity-type":"item","numeric-id":5947813,"id":"Q5947813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60ab0898da6a281efe11befe4e6399b9ae5d1025","datavalue":{"value":{"amount":"+0.7344408631324768","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":"Q1592932$DE7F9664-BB51-40A9-865A-6C4EC05B014E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1675ed11622f309995b58f54eaca0d63c3c19f8","datavalue":{"value":{"entity-type":"item","numeric-id":1853616,"id":"Q1853616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f954bf76970e1479269fd6bac9cf851850c329","datavalue":{"value":{"amount":"+0.727996826171875","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":"Q1592932$D931893E-8ABA-4717-B145-868EB173E293","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the decidability of the equivalence problem for orthogonal sequential programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_decidability_of_the_equivalence_problem_for_orthogonal_sequential_programs"}}}}}