{"entities":{"Q3177341":{"pageid":3188051,"ns":120,"title":"Item:Q3177341","lastrevid":86388017,"modified":"2026-06-03T19:54:46Z","type":"item","id":"Q3177341","labels":{"en":{"language":"en","value":"Nondeterministic ordered restarting automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6909734"}},"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":"Q3177341$732D5C45-F1E2-4665-8CD9-3120875F2CDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70832270bbf6a3b3db1ab885709561924f8afda5","datavalue":{"value":{"text":"Nondeterministic Ordered Restarting Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3177341$B00FE297-07D5-4CED-9856-940277F33410","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b0d76974e9be898e535edc906a735d1240f995b","datavalue":{"value":"1397.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177341$BA51B14B-C643-4E00-8D47-53CCE4E8EE13","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7b2f9d1f5e01c1c1ae260fc4f287ebe8d3b229d","datavalue":{"value":"10.1142/S0129054118410101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177341$6FC6117B-2833-4FFE-B45C-5F2163870816","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e8d77548afccd2bf14553bb8f2636c0be3a6942","datavalue":{"value":{"entity-type":"item","numeric-id":1706158,"id":"Q1706158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177341$DD8971B6-5E15-4A3F-90DD-07C58FA86462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f46c7c00558d7121734d489049799fa24953dd04","datavalue":{"value":{"entity-type":"item","numeric-id":287428,"id":"Q287428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177341$09009556-120B-40F2-BE03-DA4180679D68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177341$9EF34536-3E96-4018-86FB-2A3185717EEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"995831e8bf08f9c5604b683515315797e006d5b7","datavalue":{"value":{"time":"+2018-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3177341$FD4B2B9A-4403-4A90-8B9E-881EE9A8641F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177341$DFECE4CF-F1A3-483B-93FC-FF20E6A0E9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177341$179A225B-1D0B-4BBC-8C3B-24152039EB25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f11778d418139c0b9b69d641b05ab2a704df3339","datavalue":{"value":"6909734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177341$F4B90BF4-D056-4B0B-8A7B-8AFDFFB4EA0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47b73eaf055fa5c5651be12b099d226baddd2407","datavalue":{"value":"restarting automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177341$A468954F-97F4-4B29-8CEC-901E3E4FA173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35da8bcee53850c14a5fd9a173bd36b76911f46e","datavalue":{"value":"ordered rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177341$CEDA1BD7-589C-4575-BE10-2503A77C191F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33bf3b9a8055b8561f4c88e322111ed7eb71abb9","datavalue":{"value":"abstract family of languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177341$543176D5-9F27-408C-ABAA-F76958A5733A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9159d4f959d21ef7c3c5f2d36ede4144c26f9c","datavalue":{"value":"emptiness problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177341$B17D4A06-8644-4087-97BB-76073E536E3D","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":"Q3177341$D38A6473-18A6-43EE-81F7-C4250B23D98B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177341$A9769C15-B69B-4332-AF26-873E41A98D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b48f619e2e9aae0c428d8521137e2561a8f3c25e","datavalue":{"value":{"entity-type":"item","numeric-id":1129003,"id":"Q1129003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177341$A0EBD25F-4908-4EB7-A87D-1F73F4210564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"138cce00a9725f330453af8fe64208cd8e005cf6","datavalue":{"value":{"entity-type":"item","numeric-id":579948,"id":"Q579948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177341$49638E0D-4533-4068-813F-AE18002F6806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177341$7077FE52-2B8D-4884-8064-88072EE6895E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177341$12E1863D-1079-4A89-AA0B-04B46D7D017E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177341$945D9BB0-8249-4A00-A67C-A5DBE0071D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b02d09e883872add25f58ed3a28ad3cb3f6fce","datavalue":{"value":{"entity-type":"item","numeric-id":5500690,"id":"Q5500690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177341$9189C2B0-190F-4046-B55D-7C887A0400DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d6e21a21703ed6b2ba913c237a8132a71af26c","datavalue":{"value":{"entity-type":"item","numeric-id":2794377,"id":"Q2794377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177341$C96FF576-0F72-47D0-A38F-5482D4964D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7748e3b3234df9858cc64324ecb25fec8864d7bb","datavalue":{"value":{"entity-type":"item","numeric-id":3798271,"id":"Q3798271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177341$69CD6982-121A-43AA-B3F1-5FE4AEFA688C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f179d2928ec7da01234420e4eaa8f6a4f2beef9","datavalue":{"value":{"entity-type":"item","numeric-id":2938120,"id":"Q2938120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177341$E99CB171-615B-440A-BB20-025255FBB813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbeca0f4934cc98db946507723506f7c56530f0","datavalue":{"value":{"entity-type":"item","numeric-id":1776398,"id":"Q1776398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177341$4C9669CC-BF5E-4EBB-BEBD-F101498A89E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d6d704593f9fe6fcd8373595f1fd33b88c183a7","datavalue":{"value":{"entity-type":"item","numeric-id":5496199,"id":"Q5496199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177341$077AECD9-1ADA-4F3C-AA31-FAC09255BC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d9d78f19c83854800897d690d7d1dd680bb3a4d","datavalue":{"value":{"entity-type":"item","numeric-id":3012939,"id":"Q3012939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177341$E1496C88-A42A-4846-9EFB-A0CFEEA99349","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee2e7ce658e19c2d9fd1f67ee36e315f00f1b0ef","datavalue":{"value":"https://doi.org/10.1142/s0129054118410101","type":"string"},"datatype":"url"},"type":"statement","id":"Q3177341$2A51F587-A5D6-495D-915C-D8EA8C110010","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"692ced96236e73a9c71dd2de71d09f324c0d6789","datavalue":{"value":"W2811303545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177341$A107A49C-7C54-477F-B016-EFF0065F85B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9228b31caf1edb5c702a92b61b051520f89743a2","datavalue":{"value":{"entity-type":"item","numeric-id":2794377,"id":"Q2794377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52ca98033f2a679b1a9ec2e1355a35a8eb791c11","datavalue":{"value":{"amount":"+0.9408932328224182","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":"Q3177341$A957FD00-ADA2-4FBE-AC3D-70407DF36B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d6709c685fe8f210743ddf7259a9b6c096f82d","datavalue":{"value":{"entity-type":"item","numeric-id":2817394,"id":"Q2817394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bbf2a79195362dfc757ff26d9d1f201753cbf9d","datavalue":{"value":{"amount":"+0.9025333523750304","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":"Q3177341$FCDA0E41-2EEC-4D1C-BB2D-837F9F0C640C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4b2a6b84ed4271ba809d6de6365d57e95d48b3","datavalue":{"value":{"entity-type":"item","numeric-id":5919676,"id":"Q5919676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a440f9895c003fbb8136ce662e9171db9ac4d013","datavalue":{"value":{"amount":"+0.8462492227554321","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":"Q3177341$CF120771-F0FD-43F0-AB8E-907251A9FF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0116d124cf415916575377aa94046c7bd0268ed3","datavalue":{"value":{"entity-type":"item","numeric-id":1706159,"id":"Q1706159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d1a53db621e6e2371fd37da3ab9c5af33705bd","datavalue":{"value":{"amount":"+0.8448327779769897","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":"Q3177341$6C17D58B-1A96-49A7-B4DD-CD6162E95E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e49a94ddb99cbe89e456071e12d45369fdc72ccb","datavalue":{"value":{"entity-type":"item","numeric-id":2822491,"id":"Q2822491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2345af43642bca0607999a088da6abcf029d8fb","datavalue":{"value":{"amount":"+0.8446636199951172","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":"Q3177341$0AD2986E-AF43-4AA1-B6BA-A39D70E50785","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nondeterministic ordered restarting automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nondeterministic_ordered_restarting_automata"}}}}}