{"entities":{"Q4405553":{"pageid":6435152,"ns":120,"title":"Item:Q4405553","lastrevid":48117802,"modified":"2026-01-03T17:04:38Z","type":"item","id":"Q4405553","labels":{"en":{"language":"en","value":"About the decision of reachability for register machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1931462"}},"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":"Q4405553$CEAE7790-3421-4BB3-95A5-394D8A76B662","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dcc1f887849a99b89af754dd1680e8a7e6825cde","datavalue":{"value":{"text":"About the decision of reachability for register machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4405553$FDF0E0D3-0A64-4153-9D8B-9B9F15E69C8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7397f3ba73f3e7c1455e432dec79eaa344dc6c54","datavalue":{"value":"1034.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405553$71953CA6-D63E-4192-8D12-4A9962745072","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d70519ef78cb58e04ec872af558109333716e152","datavalue":{"value":{"entity-type":"item","numeric-id":391119,"id":"Q391119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405553$9F695D5D-4852-4398-9365-1946E6335CBC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405553$9F06EB08-338C-4459-844A-831B23A8863F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c6427ff9a626f686c7f1def93b416dba0b5871b3","datavalue":{"value":{"time":"+2002-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":"Q4405553$F5A34D33-437B-428F-AA01-2580446A83D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e0f986e30f762f1708433bab92c570fbb0e1f39","datavalue":{"value":"http://www.numdam.org/item?id=ITA_2002__36_4_341_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q4405553$8EE24AB9-4966-47FA-8182-A9665D1F1C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"5cb3f8e94f89e7e483c866f2cfd21666b09ac34d","datavalue":{"value":"http://www.numdam.org/item?id=ITA_2002__36_4_341_0/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4405553$2E48C546-C731-4720-85B4-57FC4DD7FAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"70e6aa9bfab5bd8d4ebbf29aff3ce10e69164457","datavalue":{"value":"https://eudml.org/doc/92706","type":"string"},"datatype":"url"},"type":"statement","id":"Q4405553$A761068C-3EDA-41C8-AF8D-94F00414DC60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405553$EEF5ED90-D12E-475E-9E64-648A9149570B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38ea134febda548aecf27348cae7d0a4312b19bb","datavalue":{"value":"1931462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405553$773CD454-1E6C-4F40-A41C-108D0FFAD8B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4405553$D2401CDA-29EF-4E28-BDE4-8E59DE85639E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ca41c6bd39bc481c6e6cae3f26fd519783289a","datavalue":{"value":"infinite state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4405553$19B09543-7C1F-4D98-9F19-7AAAFB5F34BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4405553$EECE39A4-2B9D-471B-84B0-6A76DD7B3171","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":"Q4405553$3C1EDC18-1E5E-4D1E-9976-E34C564B7A80","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"554e2bec1ac664a2b52da796144c0c5dcf38606a","datavalue":{"value":"W1971160134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405553$AEB7F2F3-A402-4B84-A706-8EF68B445678","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"333a1caae096be5f0a7ea061c25d4f4ff0a4f6b9","datavalue":{"value":{"entity-type":"item","numeric-id":4736573,"id":"Q4736573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405553$5E37E81D-3561-48D9-B904-EBCE2580FFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4151990484c8fe92e6fd42407c1c6d4e5df6ee5a","datavalue":{"value":{"entity-type":"item","numeric-id":4219024,"id":"Q4219024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405553$99ADD43D-511F-485D-B5EB-30E9F1D6CDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bed64006543fcbf7ebcc1c7d552e5c3071f2b84","datavalue":{"value":{"entity-type":"item","numeric-id":1763373,"id":"Q1763373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405553$4CC74350-C2CF-4830-8622-0D120C99B385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeb89c68e650c350803663393d6e0912dfa3f4b2","datavalue":{"value":{"entity-type":"item","numeric-id":4115143,"id":"Q4115143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405553$5CE18340-8138-4DC9-80D5-335EF0F651CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6409ac0850b7d9267d1a22ea12bb6622b9a9072","datavalue":{"value":{"entity-type":"item","numeric-id":3880954,"id":"Q3880954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405553$3BD32C1F-FF03-4858-8B53-487985226030","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57d866488621f01009af0a021c52152506d7f104","datavalue":{"value":"10.1051/ITA:2003001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405553$432DDC21-3A55-47EA-8C25-690B6759F2CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36a012015d72bdbab9bd9f6a34268f8457f90750","datavalue":{"value":{"entity-type":"item","numeric-id":1622995,"id":"Q1622995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dc6f82178ac4a67a61f4e0b193c33cf0e0eee4b","datavalue":{"value":{"amount":"+0.7945972681045532","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":"Q4405553$73874B5B-7D10-4002-AE56-210E5B0C740A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b943cab59a243999d0126ce8a0542c3fb2a3b8e","datavalue":{"value":{"entity-type":"item","numeric-id":2051802,"id":"Q2051802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9fd01d68b4054d8c7d836b417cd871283f9a63f","datavalue":{"value":{"amount":"+0.7826138138771057","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":"Q4405553$99D194CD-1EE1-4770-BC73-0681FDD7595A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"679fdd73ce091acffb33aae869d9df154f8f6162","datavalue":{"value":{"entity-type":"item","numeric-id":2474220,"id":"Q2474220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d28cc85389e050f7bb1a71fa404bffb5c9b1fbe2","datavalue":{"value":{"amount":"+0.7774431705474854","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":"Q4405553$021671E1-11C0-484F-9716-3597894AC5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7a1655f88f0f73a4855d1e727ce417177c0d988","datavalue":{"value":{"entity-type":"item","numeric-id":2849929,"id":"Q2849929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c58d741934a187ac39d7dda7d3d195e14950f68a","datavalue":{"value":{"amount":"+0.7756208777427673","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":"Q4405553$C51655F3-B47E-4D58-997B-8AE4BB6ED7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d629797a7784fd74ed6d2ae36440080608dcfae8","datavalue":{"value":{"entity-type":"item","numeric-id":3617076,"id":"Q3617076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"916a5b4a116b748176522befea22d1261ed8e65f","datavalue":{"value":{"amount":"+0.7612502574920654","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":"Q4405553$3A8EF13F-76AC-4300-B43A-C9FE736FA35D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4405553","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4405553"}}}}}