{"entities":{"Q3341899":{"pageid":3352607,"ns":120,"title":"Item:Q3341899","lastrevid":48752194,"modified":"2026-01-05T19:04:20Z","type":"item","id":"Q3341899","labels":{"en":{"language":"en","value":"Solvability of equivalence problem for program machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3876596"}},"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":"Q3341899$76357FBB-ABEF-4770-B95E-9E70DD129C44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29c78b1960b6c9265ab4232c6d319233bba8e698","datavalue":{"value":{"text":"Solvability of equivalence problem for program machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3341899$CA8851BC-5512-4F3A-8609-7F5D4E3FB770","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"696098ab524d0961765e1bd26c4e2593db86ec28","datavalue":{"value":"0549.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3341899$523520E3-00E7-402F-98EC-F9ABF1823663","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bf77f4c2778b0c70245d4bbb09335d64f8a68e2","datavalue":{"value":"10.1007/BF01069757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3341899$56690984-68D8-4BE6-B3C8-C64CCA81B679","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d151db5a018b1f296f5a3a202ed3bf7c5be91b4c","datavalue":{"value":{"entity-type":"item","numeric-id":1252716,"id":"Q1252716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3341899$5E108BF3-8E6E-4667-A64E-AF61F21B4399","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2f2504956ff395a23643134114da7c6c64448d2","datavalue":{"value":{"entity-type":"item","numeric-id":3026191,"id":"Q3026191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3341899$7A216B6D-F7A6-49F3-A1A4-A6F3D861BA68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3341899$D6C949E9-937E-4115-843C-73E057252ADB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3341899$8E0A0A41-B32A-4CD1-B5DF-5FF03406B293","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53766e532c1120018ba82996213b5ddfe457385a","datavalue":{"value":"3876596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3341899$8C86F06D-E8DF-455E-88A7-C4203451CC42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e7e2791aa1ed282bc3d647da9b77c43982ae1bf","datavalue":{"value":"program machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q3341899$080DE904-6E6A-4A1D-8F7A-ABE79EEB7605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a19aecbeb654784e682e374787b8422b87897a6","datavalue":{"value":"generalized finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3341899$3356AACD-2B1E-43F5-BA8C-4B7DF8853189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c152a026014cfc22b42676addd95cf467121508","datavalue":{"value":"tree semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q3341899$204225B1-1F07-48C2-97EC-3858D914E2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20db0336a7f56014dd49ad2a6d8a1de52b0bbe8d","datavalue":{"value":"calculations over a memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3341899$418C40C8-4E4D-489F-9A15-0720805A8B32","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":"Q3341899$83A2FDA0-53DB-4255-9D75-D74976CB1F3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e499b6d4d0103e8856d8b35436b1527b7f31e86d","datavalue":{"value":{"entity-type":"item","numeric-id":3275833,"id":"Q3275833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3341899$167933DA-516C-47C5-BA6D-917889E94814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b966808ee9c0072c8088b0c39fe14c48405ed89f","datavalue":{"value":{"entity-type":"item","numeric-id":2540272,"id":"Q2540272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3341899$912408B0-B9C3-42B8-81B5-8DC002D63E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"869763a444140960d7ec6485edd04e604637d313","datavalue":{"value":{"entity-type":"item","numeric-id":758956,"id":"Q758956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3341899$CE5CD395-EE14-4733-AFE7-F5EE49D0F28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88710a877ad7efbc4078a5d55f2a90d525637e3","datavalue":{"value":{"entity-type":"item","numeric-id":5551468,"id":"Q5551468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3341899$D15648DF-3A3B-457F-8C89-9D4AB5B8007D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"958e8bf05dd41a356ed45fa949d36e2ba662ac79","datavalue":{"value":{"entity-type":"item","numeric-id":5544289,"id":"Q5544289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3341899$263271AA-CF7F-4A43-8E01-2E79068A9BCF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad5ef7bc572372a9f2462c0f44497ddfb42610fa","datavalue":{"value":"https://doi.org/10.1007/bf01069757","type":"string"},"datatype":"url"},"type":"statement","id":"Q3341899$65D20355-F562-42D6-9B28-8929C8285269","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be1c524af38a3f572fd571de2c3083f3f5a1ad4b","datavalue":{"value":"W1965919129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3341899$BEBFC0B7-BC0A-4398-B164-9A2D3AC80410","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69672852dffe3fbed03000ec926072f150b57951","datavalue":{"value":{"entity-type":"item","numeric-id":3008829,"id":"Q3008829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fe3d917d80984c59a7ba9913dd64bf635bba0dc","datavalue":{"value":{"amount":"+0.7524219751358032","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":"Q3341899$B7021692-775A-413E-944D-7A7345726D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5adbd5ecc0eac3a1334d55121f7b6cf13b741b35","datavalue":{"value":{"entity-type":"item","numeric-id":4871475,"id":"Q4871475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1809792d88966db11d1aaf959aa96144d48c18f7","datavalue":{"value":{"amount":"+0.7385281920433044","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":"Q3341899$AA630E18-C7DA-49B3-92CF-B2E5CC9B6DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72de9769a325176d18dfc2504de085fb10067c22","datavalue":{"value":{"entity-type":"item","numeric-id":3747751,"id":"Q3747751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1809792d88966db11d1aaf959aa96144d48c18f7","datavalue":{"value":{"amount":"+0.7385281920433044","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":"Q3341899$B5CE3CFD-E32F-4BEA-892E-E84AAC2A9FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f835e40ed477460c1a6fdf98ff70cd7472c531","datavalue":{"value":{"entity-type":"item","numeric-id":5445415,"id":"Q5445415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"989a7029d0292b40209e5d1a33c855dd25bcf928","datavalue":{"value":{"amount":"+0.7308937907218933","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":"Q3341899$112B05C3-1C36-48F3-9E91-DBAD74BB311D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb35fc9278d99d8b9c4e21f8be91a918f699183b","datavalue":{"value":{"entity-type":"item","numeric-id":3318134,"id":"Q3318134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e9a32fe9fffaa580edba0ba68c8d04b978b0177","datavalue":{"value":{"amount":"+0.7288191914558411","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":"Q3341899$03E6569C-7CFE-4BE6-9A83-6E7A4EFF83E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3341899","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3341899"}}}}}