{"entities":{"Q5060076":{"pageid":7089652,"ns":120,"title":"Item:Q5060076","lastrevid":56701680,"modified":"2026-03-19T00:26:42Z","type":"item","id":"Q5060076","labels":{"en":{"language":"en","value":"Temporal Logic for Programmable Logic Controllers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7643311"}},"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":"Q5060076$3CA3DDD0-1BB2-4A52-8831-4805008A3A04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73642ef861ba03fb884ed80608fd94de688c7c03","datavalue":{"value":{"text":"Temporal Logic for Programmable Logic Controllers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5060076$0F7D6270-A19D-4B0F-8768-841362BF2943","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f625db108f1147b4b32cc9d94c48bbf08a21089d","datavalue":{"value":"10.18255/1818-1015-2020-4-412-427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060076$50E74AEE-AD82-4E22-BFEB-85F218810B55","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":"Q5060076$6A8D2229-5849-4695-A3D0-9433A5658300","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":"Q5060076$B3A47D99-C354-427D-B3A1-C9EE7CE9DD6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1309abd71fac810947c71f4c78ee772986abfaa0","datavalue":{"value":"http://mathnet.ru/eng/mais725","type":"string"},"datatype":"url"},"type":"statement","id":"Q5060076$A81964A7-52A1-448E-9AAE-7E8CD1BC0304","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060076$D06A5B22-2DA3-4369-9472-50C189555D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060076$29E08AB5-2A3C-4FC1-BED4-92FAD3B1BA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060076$3982EEC7-289A-4832-9C06-C1E64FB784E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd95a59107da021190064c9ab5745e63d90d6a4e","datavalue":{"value":"7643311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060076$80896E3B-474F-4303-A5DB-20A258813BBE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060076$882C75D8-23AB-443A-887C-6851A7DE7D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060076$2330C1D9-42C6-4210-BEEE-B0A0833E7792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060076$6565AF26-3567-40DB-887C-65CA57EDF8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a86a4bb6c29e581bd63f5d2a9ec1d11366dcec","datavalue":{"value":"programmable logic controllers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060076$78DDDB5A-1769-4054-A740-2B5BFE0746D8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060076$A617443B-C274-431F-BF11-67838928E740","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":"Q5060076$2ABD35FB-88EC-45BA-AA3D-57CB2502ACFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14fff8d6514a2b142b0d6005d023bc00d9c63cff","datavalue":{"value":"W3115393822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060076$C4CAC7BF-4059-4380-893D-36E79E3A3E7A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5ec797c4da5f6f7a19158d0eea427745254090","datavalue":{"value":{"entity-type":"item","numeric-id":2753753,"id":"Q2753753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060076$962A9832-4311-4F25-874E-72109A755C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42fb996a4acecd7283dda97dc1d78a9b114a8cc4","datavalue":{"value":{"entity-type":"item","numeric-id":4782045,"id":"Q4782045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060076$AAF549D6-4992-4E47-9852-53BA8E4FEA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e30610f747f0ca80cece47436f2872a71f36d874","datavalue":{"value":{"entity-type":"item","numeric-id":3176376,"id":"Q3176376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060076$315CE1CC-CE22-410A-B68F-804C339A8C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a78a24fba7d46ccc6254ea0c62592a76f70ab234","datavalue":{"value":{"entity-type":"item","numeric-id":3176359,"id":"Q3176359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060076$593125B9-5C86-48FB-B3ED-46D5D6477D03","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":"Q5060076$90C1E27B-47F0-47E6-A6D7-1B938BA26FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060076$07086AED-367B-4BC8-ABA1-D6D7349207BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f22d3df01326f2e4294447d2bf0677fe3580886","datavalue":{"value":{"entity-type":"item","numeric-id":5464744,"id":"Q5464744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060076$7C926428-6E03-4C14-9693-09364BC89E3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae4ab984705ebfdb1d48d0a9ac0e0c6059e49ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4441511,"id":"Q4441511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29f64cac2ae176d7fa495e5b563e44684995a845","datavalue":{"value":{"amount":"+0.7823107242584229","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":"Q5060076$BAA6EB8C-498F-400C-A5B9-E61829CF6E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9df7aa313318f9941f46314e3f46d32ff2bc02e","datavalue":{"value":{"entity-type":"item","numeric-id":4782047,"id":"Q4782047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5be341a5d87e303e616891183f39d7f3477f943","datavalue":{"value":{"amount":"+0.7777894139289856","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":"Q5060076$CB8184B2-0989-4A7F-B5BD-5CFA38275CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32cd7b725f10eea2157eeddb7a7f47da3826b66f","datavalue":{"value":{"entity-type":"item","numeric-id":3745691,"id":"Q3745691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a610c8c5ee76d3114e9240055297f6e4c5808a66","datavalue":{"value":{"amount":"+0.7496656775474548","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":"Q5060076$3B465053-B93C-4DFE-ABBD-A1C68EB113E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"440ba43ca4f70972c4016ecc4ca72ed37a214870","datavalue":{"value":{"entity-type":"item","numeric-id":4535176,"id":"Q4535176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1770c483a12aeed0b5d0ffee86afeae04c076777","datavalue":{"value":{"amount":"+0.7476590871810913","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":"Q5060076$CA22CA39-C92C-4EB9-87E9-37816F1CCAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b9bb92975341c78d863ed799d76a3cbb08f6d0c","datavalue":{"value":{"entity-type":"item","numeric-id":2753753,"id":"Q2753753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea55d032754d528b6637deed6445d7572a99e194","datavalue":{"value":{"amount":"+0.744522213935852","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":"Q5060076$95A57DF1-CAB9-4853-B43E-35D8F6C6E544","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":"Q5060076$3BEEF28A-3466-4B9E-B78E-1C771377D638","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5060076","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5060076"}}}}}