{"entities":{"Q1589587":{"pageid":1600327,"ns":120,"title":"Item:Q1589587","lastrevid":67934196,"modified":"2026-04-12T20:20:01Z","type":"item","id":"Q1589587","labels":{"en":{"language":"en","value":"PLC-automata: A new class of implementable real-time automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1542354"}},"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":"Q1589587$2B45BB88-F74F-4999-9C7E-91582D86C9FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"701aa6ae42dfba8f79a6f04c6c3fe2165cfd62cc","datavalue":{"value":{"text":"PLC-automata: A new class of implementable real-time automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1589587$253B036F-3AF0-4036-BCEF-8406FD50C663","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82867c0f60237f2f6abea6c4103c1d8068921ad7","datavalue":{"value":"0954.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589587$91F4A8F4-9FF1-48F3-9625-023AC5D228A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc98c5573fd314128cc136e0056c4ea4f66d608c","datavalue":{"value":"10.1016/S0304-3975(00)00089-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589587$E34D03ED-7377-442E-83A4-E98BAB3F440C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589587$821F2029-4281-4D7A-8BDC-E9B74EC9FD0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1fc98fd02909f39fc4d6749553781a25cceed046","datavalue":{"value":{"time":"+2000-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1589587$77EB11F7-08DE-4A22-BC13-9F5D7E49D6C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589587$C25AD98A-2686-46BB-8934-1B4FD628206B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cebe90a31c70b6321285b13e817b6c5009c0aefa","datavalue":{"value":"1542354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589587$87AF80E5-24AA-44BF-9C49-C53A92217151","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dcf49568ab0037d04280e48116349d583f1e6a7","datavalue":{"value":"real time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589587$48CD2798-9CC7-4699-BCF9-3E9ED6D98C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589587$6E7CD8FD-6DDF-4657-9112-5B963225C90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589587$F4FDB2A8-6AC4-4374-8EEB-ED127138E2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4e571d5d1b1f948f468f5f78176e1a3d5c65937","datavalue":{"value":"duration calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589587$93037265-B2BF-4506-83BF-250B8862D006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b0eebf42f3e7e3a6ef3db21e65a44304081d33","datavalue":{"value":"PLC","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589587$D29C3002-1EF2-4BF4-9567-0DA03F084DD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9a9cccaad167939f3489dab6922592bb34a72c1","datavalue":{"value":{"entity-type":"item","numeric-id":436412,"id":"Q436412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589587$46DE1C5D-8095-497B-93D5-77EEA7DEAF06","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589587$6AD39625-8077-4E35-9990-06A9371584F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589587$44DF3F99-F3A8-4EF8-96EB-69C08E190398","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":"Q1589587$D9085F0D-FA4D-4D31-9FCE-E2EEFE71CFD4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3394b77eec107b905563ae3b7de38349fb3b8401","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589587$8D8FC082-0332-43FE-A324-D9CA96E96830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589587$B9A335A4-39BA-40AE-9706-98D6DAA0875B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faa973b4e904fd2699220cfbe7515fc904f2f019","datavalue":{"value":{"entity-type":"item","numeric-id":1589587,"id":"Q1589587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589587$B6142110-4C73-4B41-BCE8-0803A5719362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f37e8ba0251a16df51f940680106a4e06358b662","datavalue":{"value":{"entity-type":"item","numeric-id":1377324,"id":"Q1377324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589587$5076C9E1-972A-47D6-B5B7-6B669B14D298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589587$68625D12-00C7-4FB3-87FE-BD1E31917E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe321c0b23c2929ef29217e34ea35277277ba0ee","datavalue":{"value":{"entity-type":"item","numeric-id":4697483,"id":"Q4697483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589587$3DFE2E6A-86E0-4D54-BC2F-28C4A48CEA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f9aab3ed0f4dc4cdabfd532754a3cf472a7125","datavalue":{"value":{"entity-type":"item","numeric-id":1344731,"id":"Q1344731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589587$F2AE62E5-191B-4A45-BE16-C87C800E010C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25282e1f0c1e0eccc5ae4ce78bc688548d8c67f5","datavalue":{"value":{"entity-type":"item","numeric-id":396975,"id":"Q396975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589587$B3B03A05-AF1C-408B-8531-F99572EC458E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6453ed1e44e7e3579fb9c2bb45e3dadf04c69d5","datavalue":{"value":{"entity-type":"item","numeric-id":3126783,"id":"Q3126783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589587$C5B7AC6A-BC67-4DE9-A550-5FC81D8AACCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589587$0D3DC04F-97D9-483F-B7D3-C84B5F7DCF95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a6e95e98ec9368efc21b2792203a9fad017d34b","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00089-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1589587$F2983864-4A3B-47B1-9452-D71493284CB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd1c5134ea871b1b7976c4169d1523727b0501db","datavalue":{"value":"W2694136767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589587$3CCB450A-2837-463D-9FDE-25AC7CC1A35C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3493098fd1b127470d21b67bf0292f084553a630","datavalue":{"value":{"entity-type":"item","numeric-id":4453202,"id":"Q4453202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e8e875d969fce73620f7d4908c74fd5c11999f7","datavalue":{"value":{"amount":"+0.7322397232055664","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":"Q1589587$062539D1-5E0D-4310-B635-31C3FC07E7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bbeb0469e8ff83022992506ae6dbd94d9cec72","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44956fbec7ee8f5e26c29571b3822b1ddecab63a","datavalue":{"value":{"amount":"+0.7278063893318176","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":"Q1589587$EFC9716C-BFFB-4758-A62C-BA199194509A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf8a547a05669e0a88913b8edc63e64ac6ef627","datavalue":{"value":{"entity-type":"item","numeric-id":5060076,"id":"Q5060076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e553ce95c3d472d8414de1aea95e705e65dcb707","datavalue":{"value":{"amount":"+0.7272135615348816","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":"Q1589587$DA8AE46D-1ECC-42FC-A4D4-1911BF31696A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e01f06786462e40d8913fe48805ae4e0f4bc459e","datavalue":{"value":{"entity-type":"item","numeric-id":5716871,"id":"Q5716871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdb0b8bed70ebfe089a27d3f8e977359734ad1b1","datavalue":{"value":{"amount":"+0.7251225113868713","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":"Q1589587$E93631A5-8E69-430D-93B0-62989A5D3E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae7f431a24b4622e32a2736568160726182c486e","datavalue":{"value":{"amount":"+0.7227579951286316","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":"Q1589587$9EE24624-F18F-4CA2-B4CD-2E08DF54FB65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PLC-automata: A new class of implementable real-time automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/PLC-automata:_A_new_class_of_implementable_real-time_automata"}}}}}