{"entities":{"Q1423532":{"pageid":1434272,"ns":120,"title":"Item:Q1423532","lastrevid":68668134,"modified":"2026-04-13T01:18:34Z","type":"item","id":"Q1423532","labels":{"en":{"language":"en","value":"On closure under stuttering"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2051292"}},"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":"Q1423532$97535615-2058-433D-BF43-0801126C12D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b18db2a133496282cb01802b2bc7881e98771bc3","datavalue":{"value":{"text":"On closure under stuttering","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1423532$5A84546A-7B08-4409-A949-31C4931E1C69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a05f7c71429c2dad7f434f2a7d514ba68de5a49","datavalue":{"value":"1069.68564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423532$5A8C294F-B516-47E0-9F41-58A3EE59DD48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"645cbd4a5e94d4f091fd5ac616c0dcb016fcf628","datavalue":{"value":{"entity-type":"item","numeric-id":1423531,"id":"Q1423531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1423532$6650493F-EE6F-4648-ADCE-50946E4238F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"794c304803c228a1c8e63e5a19cfb840dd5c432c","datavalue":{"value":{"entity-type":"item","numeric-id":488217,"id":"Q488217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1423532$4691FC16-F381-435D-B626-FF06D63329F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1423532$D3B6FAEA-DD1D-478B-8128-6E60E0513F32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b6b6d4a806cd2f0a9402edc4992ca7a6f787c5c","datavalue":{"value":{"time":"+2004-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1423532$A0574090-A1D7-4546-A47F-725011EA3FA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423532$44DD891C-CD52-4364-9C2C-F12F9998E7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423532$DFB32FDB-1C40-4031-B38F-042BCA924BCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"939521c354368ec3fffa351d91799244f321a065","datavalue":{"value":"2051292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423532$6F112926-B1B5-4E7C-AFE1-8080F7DD2221","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31262669da5fe15597b2d5880a342810d0163da0","datavalue":{"value":"Closure under stuttering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1423532$B6ED9DE3-2E26-4248-8542-6BB7ABB48C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4b824b5991f847dee42dc3309e7aa6a46d26033","datavalue":{"value":"Event-based systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1423532$1584A96F-469B-48EC-A73E-0BAE34F0A165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1423532$BB58FB77-1C13-4ADC-852B-86A1B60CB50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7c3fd3872f7a30fbc4a3c1696a9662468e045b","datavalue":{"value":"Model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1423532$65C403D2-479D-472B-91D5-BF27C42252C9","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":"Q1423532$31FA3FB1-D569-4A7D-A3A3-A07E1A61EDD7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a12808b6fb800f1584fd377490fe26d37a2f538d","datavalue":{"value":"https://doi.org/10.1007/s00165-002-225-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1423532$8DE07898-7594-4017-A963-8FB865F3157A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e328b948916bdce79c29754e00cdd19f1df2436f","datavalue":{"value":"W2046456520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423532$51A26355-66D2-48F4-82F0-B648214D78A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1d93f18757c4393fdc5e21294f1ddffc0bdb007","datavalue":{"value":"10.1007/S00165-002-225-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423532$13CA40FB-B9D5-48E5-8410-6CC778A4E984","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a8f1bd90a0772c9d8d07cbde33a45513ed8f9da","datavalue":{"value":{"entity-type":"item","numeric-id":2484066,"id":"Q2484066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ca7077d8b9cc6a5ebb9773d2fff3e9d8b630eb","datavalue":{"value":{"amount":"+0.8009082078933716","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":"Q1423532$B67D026C-5D08-4EB8-8C50-F6D5FE290EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0d12e519a9eebe8e958ccfda95a7aac27d5398c","datavalue":{"value":{"entity-type":"item","numeric-id":4817547,"id":"Q4817547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c975dc6c1e2d7d55d1b5a1aa548806193959f80","datavalue":{"value":{"amount":"+0.7970821261405945","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":"Q1423532$12FB1F72-8843-487E-B176-8720020E7B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64572be908817f9cc4844c19d284302359d3ff28","datavalue":{"value":{"entity-type":"item","numeric-id":5170011,"id":"Q5170011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8195dede08d508329e69ca1c5b7f1143d2b9f6f","datavalue":{"value":{"amount":"+0.7904987931251526","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":"Q1423532$BEA9083A-8AC3-46B1-B9AC-AB97E9390DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2e22090a1d7eca4467010a2c9cdf2926f6edbf","datavalue":{"value":{"entity-type":"item","numeric-id":4411829,"id":"Q4411829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82b01e2bc8bee787520f7f2714f9f33f642d7de1","datavalue":{"value":{"amount":"+0.7857745885848999","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":"Q1423532$A1376507-F206-4222-A725-59A9DBAFFA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06be7117c7b6709d59ef3f418372bd87006b61d7","datavalue":{"value":{"entity-type":"item","numeric-id":294841,"id":"Q294841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2f546b022c9cdbb6f6e18a6f7ab61a45063d5f5","datavalue":{"value":{"amount":"+0.7844502329826355","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":"Q1423532$DF0D11BE-E9CD-4A13-A999-83F55C53D871","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On closure under stuttering","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_closure_under_stuttering"}}}}}