{"entities":{"Q6144780":{"pageid":13279087,"ns":120,"title":"Item:Q6144780","lastrevid":93904385,"modified":"2026-06-05T05:24:25Z","type":"item","id":"Q6144780","labels":{"en":{"language":"en","value":"LTL-specification for development and verification of control programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7796825"}},"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":"Q6144780$841294CD-E6D9-4238-8C85-0C729FB3C500","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d81bbf505cbfb91875728937f845c4c11e5dbd4","datavalue":{"value":{"text":"LTL-specification for development and verification of control programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6144780$3E630A43-3E45-4237-A198-A26ECE76A036","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e05606dff846b6d547f713a8b207245022247e49","datavalue":{"value":"10.18255/1818-1015-2023-4-308-339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6144780$AEF878D2-343B-4BF0-9227-7A3577F6073A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a285fe5834e252c5cecd0a65e454a3a3fbac102f","datavalue":{"value":{"entity-type":"item","numeric-id":6144779,"id":"Q6144779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144780$00C53AF3-5EED-4683-906A-FCBB9AD0495F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d154f7b7b2cad69c41a322652f76040ad3378cc","datavalue":{"value":{"entity-type":"item","numeric-id":542238,"id":"Q542238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144780$FBFB37FF-ABF0-42E2-B8DB-1AE0228DD44C","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":"Q6144780$1ED94E16-348E-4963-ADDB-349065E2F3D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c788422623dc13be5c58b3af34b36d9b5d5b260","datavalue":{"value":{"time":"+2024-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6144780$2EFE13D9-2C6A-4F91-A875-4D2184C6A1DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5bd52a0e6cf23571449b8f4841f66fc5401d2f0","datavalue":{"value":"http://mathnet.ru/eng/mais806","type":"string"},"datatype":"url"},"type":"statement","id":"Q6144780$1D8325E0-5EC6-4E9F-BCD4-118D9A71BE32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6144780$C5D9C336-4F10-457A-A4D0-6DFDD27A42F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9573d7343396dbbc07b894fbc08ab7c105ed7124","datavalue":{"value":"7796825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6144780$9D254B90-324E-4504-AAC5-57B3C3A281A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31c16cc9b6a8f70841652132c26d8fd4413055cc","datavalue":{"value":"control software","type":"string"},"datatype":"string"},"type":"statement","id":"Q6144780$509ABA0D-3EFB-4F15-87B5-16C075AE54A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0e467ca240abc7d7dcbb76f691b0ed0e4f1a197","datavalue":{"value":"declarative LTL-specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6144780$255DCC27-17A1-4B76-9DAD-5D1A9828A923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed86918b73a0da514fc7bd5d275d2ed50b7f166f","datavalue":{"value":"imperative LTL-specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6144780$F1C6812C-1C5F-444C-9487-2A0F670F95B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6144780$B538EDB2-5BFF-44D4-B9A7-4436706A9C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5639263fbcc9cfcf358e6e04ad9fe4b81ce7e1af","datavalue":{"value":"complete transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6144780$26AA663A-78D3-41F7-A920-27E027B9A165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"517df1dcda4d3cff15bbdaa25822e26e6b43a344","datavalue":{"value":"pseudo-complete transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6144780$1C444A19-769A-4B53-91AF-94552A45A0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc241d88d84f2009de1d1744a05290de20435cc9","datavalue":{"value":"Minsky counter machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q6144780$3E652CF1-8071-4E79-915F-4D804E9DD9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ffcc51167f539bfe30ab325f8e642f3eff3750","datavalue":{"value":"nuXmv verifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q6144780$26EBD633-FECA-413E-9962-F4BF396721B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26e05910faa408c435348b9fd156b1c06b5b527d","datavalue":{"value":"PLC program","type":"string"},"datatype":"string"},"type":"statement","id":"Q6144780$64615E0A-AD52-47F9-9D4B-20D8B0DB3027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"090a7149bdde61624ce84971e6f7c54113b82e21","datavalue":{"value":"ST language","type":"string"},"datatype":"string"},"type":"statement","id":"Q6144780$14A388D0-4F7C-440B-A5AD-ECA4CD1AF5A0","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":"Q6144780$044467F3-5412-43FF-801F-3FF4E9BF7769","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76a041822022c782dfcb0300c749002fc206fe8c","datavalue":{"value":"W4389560024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6144780$70FA7C6B-2264-4E07-8CF5-0BF59F434DC5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"593f12c5812b69b60ae21c01a116b61d6b83b72a","datavalue":{"value":{"entity-type":"item","numeric-id":5364938,"id":"Q5364938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144780$2A86B8FD-D77A-477E-B27F-5B623C9002B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a223758df723e145cc0f0c781b69bb6d217711","datavalue":{"value":{"entity-type":"item","numeric-id":5659468,"id":"Q5659468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144780$6CB50F01-92F5-45DF-BB95-AC39E45725DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d522d164cd0b9d962b8b5ddb7244ae37c06c27","datavalue":{"value":{"entity-type":"item","numeric-id":3703299,"id":"Q3703299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144780$2E8C2EA1-F6DC-417A-BC74-8FB8E4C110D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11e8548165a301d01a241362bcf1efce79d1f4b","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144780$BBAC7534-3070-459B-AC5B-F243EE6C0436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6842708af3ba668ba7733b8a4a47ecc006344b9","datavalue":{"value":{"entity-type":"item","numeric-id":4572078,"id":"Q4572078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144780$73B9D161-32B4-487C-A77B-82CEA7FC9F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4545e5bda9ab2c270a177869d6503dcca2889ba0","datavalue":{"value":{"entity-type":"item","numeric-id":5870848,"id":"Q5870848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144780$576DFC94-2017-4F00-BFCB-3964688246A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c774b220e0b2bef8973af589d2b1ddefb4cc651a","datavalue":{"value":{"entity-type":"item","numeric-id":5866317,"id":"Q5866317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144780$F4BAAD7F-EFBE-40FA-9563-EBC92755A8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144780$140BC542-582E-495C-ABD5-6DF651A041F5","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":"Q6144780$8CE4F00D-83C9-4234-A5E2-E5B564CC89C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"LTL-specification for development and verification of control programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/LTL-specification_for_development_and_verification_of_control_programs"}}}}}