{"entities":{"Q5060074":{"pageid":7089650,"ns":120,"title":"Item:Q5060074","lastrevid":56748234,"modified":"2026-03-23T11:36:59Z","type":"item","id":"Q5060074","labels":{"en":{"language":"en","value":"Deriving Homing Sequences for Finite State Machines with Timed Guards"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7643309"}},"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":"Q5060074$86246FD6-2B0B-40B7-9532-7C21CAEBA44D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01e367e947dfc4f5a5979428de683af23a015f3b","datavalue":{"value":{"text":"Deriving Homing Sequences for Finite State Machines with Timed Guards","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5060074$66D6F728-77B5-4AB6-A80B-00257A782AE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce5f050ab2981c0f1cac4654ebd4fad7026eed27","datavalue":{"value":"10.18255/1818-1015-2020-4-376-395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060074$9AE1D83B-8434-4408-B5C0-3B003B1B6F6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0352227fbed37a860ae891cbd1f989d0956d45d6","datavalue":{"value":{"entity-type":"item","numeric-id":5060073,"id":"Q5060073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060074$4DD58A8E-129D-4E2D-974E-2129514EC35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5ce7b4dda7e1eb5c7f460ea8c82e7e1464e9d8a","datavalue":{"value":{"entity-type":"item","numeric-id":677356,"id":"Q677356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060074$6108D2C7-F9F4-4E8E-A59F-DAF3D4688562","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5e4ff69d98581f0e60171b74a0d3744b7741d0e6","datavalue":{"value":{"entity-type":"item","numeric-id":5060051,"id":"Q5060051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060074$B7B77489-B96E-4824-9C1A-154FA6C6E933","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"957af406b21c0dd147c281b56551aa32e3ad16a3","datavalue":{"value":{"time":"+2023-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5060074$EB1E3B59-14FB-4CCB-9F70-83062FD20C9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbcae1d7ca8ef1b556bdcb3840196f2ec53c0b73","datavalue":{"value":"http://mathnet.ru/eng/mais723","type":"string"},"datatype":"url"},"type":"statement","id":"Q5060074$DC0A796E-99F8-4EA0-85D1-C16F8FACDA61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060074$31FB2E39-7315-47FB-9654-330F64351CC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5d5c94fd77845e36379ff8901e7c88c64eaa816","datavalue":{"value":"7643309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060074$045EEA88-6338-4630-B0AE-133ECD715960","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34d0eb7b2352b0bb1ae5c8c5ed76f5187d80ef8b","datavalue":{"value":"finite-state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060074$EB2502A4-7B5E-44F1-ADDA-A251A9387814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3d72869414826877a87a9a80a9590b37f09adc6","datavalue":{"value":"timed guards","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060074$D508C9D6-FECC-4AA7-BC06-875F5B34E845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f68921db2f45e9e011942ad67b3964df6ee8d51b","datavalue":{"value":"FSM abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060074$64FC48F6-509C-40F1-BFEC-C0377AE8FE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f030b447315b4371bb0bfc676cd365844227399","datavalue":{"value":"homing sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060074$5D1B5598-8E48-416E-B144-7471576998F2","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":"Q5060074$4DBA5627-4E2E-4DE8-8A15-9AA424B13CE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58763921422daae84d08943238ed5d6320f26e3b","datavalue":{"value":"W3114822265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060074$3C7F9714-E8C4-4D1F-9625-DB54D83FB8FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d3c4371d3227c7c5251d2c7dac9cc00b0d0f19d","datavalue":{"value":{"entity-type":"item","numeric-id":5541342,"id":"Q5541342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060074$819A2866-E6CD-461E-AA05-8FB235DBBB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c0e70fe217ff4249331a09fbb5f5a2e580cb33c","datavalue":{"value":{"entity-type":"item","numeric-id":5375295,"id":"Q5375295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060074$6E948DF2-D331-4EA5-983C-D09DF9085E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"284c7e835acfe1303b8b161872f16ce2fcddac0a","datavalue":{"value":{"entity-type":"item","numeric-id":5540450,"id":"Q5540450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060074$5E934E41-C3C1-4595-A0DC-8D27E0E6DFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"375945d53279ba3bd449c119959570e6cf20fc1a","datavalue":{"value":{"entity-type":"item","numeric-id":4165287,"id":"Q4165287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060074$5D248554-ACDE-456C-BC30-9A48C3D956DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1422672d05dbff9dc9c265645789f92f3291e4","datavalue":{"value":{"entity-type":"item","numeric-id":5632473,"id":"Q5632473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060074$445763AE-25FD-4C2F-B115-5E4EE01895A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab87ab4b8c67bf8bbe01a47eadcff370eef039f6","datavalue":{"value":{"entity-type":"item","numeric-id":2339596,"id":"Q2339596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060074$3F2C6CDE-4554-4884-BE63-3B162BC44CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"439e51e6cfdf50a73df8b2deefcda14660157a31","datavalue":{"value":{"entity-type":"item","numeric-id":4158482,"id":"Q4158482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060074$8CCB90D1-04EA-4381-9CF1-3E29BE5A9846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de97a4240555f89bae000c2a157843bcf9c33b8","datavalue":{"value":{"entity-type":"item","numeric-id":5327497,"id":"Q5327497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060074$70CA4442-66BA-4DE0-95B0-B6855027CC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c81ca369994504c08b14023d401acfb3a7caee2","datavalue":{"value":{"entity-type":"item","numeric-id":2484973,"id":"Q2484973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060074$26A377B0-66E2-4B2F-9C75-E82CE3951CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eae08aa803341fc983610d8e491c6ea8ec0f0183","datavalue":{"value":{"entity-type":"item","numeric-id":5200066,"id":"Q5200066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060074$0F6316B7-9B24-4A8A-9038-A59586451A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2829de33b2098b503242fbcd371855c0f1feb183","datavalue":{"value":{"entity-type":"item","numeric-id":2398505,"id":"Q2398505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060074$9586F480-D46E-4BF0-BBD5-AB9B631ED5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d4aea5c52101774f6b624e4ecadd81bcb005e6","datavalue":{"value":{"entity-type":"item","numeric-id":842583,"id":"Q842583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060074$B998231F-FB21-4F05-B424-95F13EE4D655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41137b9a3110c87e311e4f5973a89b83d5a25026","datavalue":{"value":{"entity-type":"item","numeric-id":2469174,"id":"Q2469174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060074$596E2AEA-E43B-48FB-8DB7-C5EAABF0006A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f88f88b89766df3175766712490aa011f3e820e5","datavalue":{"value":{"entity-type":"item","numeric-id":4995370,"id":"Q4995370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060074$270F9F8A-82E4-4C7A-B47C-C1FF5A0F76E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e571508cdf5695c2d17a21d13504f6182abc735","datavalue":{"value":{"entity-type":"item","numeric-id":5414484,"id":"Q5414484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060074$3483F6EE-6A14-4D09-85E0-64A10942B208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50d481d751cf827e9d7a71d4e9b89ab9decbfb07","datavalue":{"value":{"entity-type":"item","numeric-id":5535414,"id":"Q5535414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060074$635F1086-0626-41F5-B989-1AF87C8A2783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa15923e1a494e34b31782203d0b6a7bdf230739","datavalue":{"value":{"entity-type":"item","numeric-id":2947421,"id":"Q2947421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060074$3633445B-878A-4395-B905-F7CF43FB1DAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90e23ca42f725b2883f77440d54d3ca5812f4ec4","datavalue":{"value":{"entity-type":"item","numeric-id":2947421,"id":"Q2947421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39b45e6e4cbc0c6d696d321a0ee3fbeaba8652b3","datavalue":{"value":{"amount":"+0.7688366174697876","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":"Q5060074$341DB13D-82B3-4C79-95F0-9299B7F411CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cff13f4af72941c3e63c6e56c00c57a8c421e1bc","datavalue":{"value":{"entity-type":"item","numeric-id":5414484,"id":"Q5414484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3029a8ea41f171eb438dea14064087fd238e47c0","datavalue":{"value":{"amount":"+0.7487154603004456","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":"Q5060074$CD8C3477-2696-4B17-8CA4-1A957B122185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61b89887168eb7ede02ee454c00f9a15bf0a5af9","datavalue":{"value":{"entity-type":"item","numeric-id":5327497,"id":"Q5327497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddbb1fa56befbc4762993d39287b7dce0ea8cad4","datavalue":{"value":{"amount":"+0.7451764941215515","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":"Q5060074$599E6725-13AC-413B-B6A4-BF934C8F818A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a734a2a5036f58034c3b6f167172ca680727e520","datavalue":{"value":{"entity-type":"item","numeric-id":300305,"id":"Q300305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b81806245cf7d4683bacbb8a7754643bcd0e79c2","datavalue":{"value":{"amount":"+0.7355785369873047","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":"Q5060074$C225CB91-1B25-4A21-BFAD-4527B508579E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"478c043f36895bd87e8079cebe3573dded28f49c","datavalue":{"value":{"entity-type":"item","numeric-id":915486,"id":"Q915486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94d0fbdc35a1ea56d095554cba50f4b521e299fe","datavalue":{"value":{"amount":"+0.7301364541053772","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":"Q5060074$A32111F6-FCFB-4E4A-9D7D-DA69DF100403","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060074$C5613CFD-7B55-429D-9305-BCFAFF6D756D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5060074","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5060074"}}}}}