{"entities":{"Q5958730":{"pageid":8135532,"ns":120,"title":"Item:Q5958730","lastrevid":40910757,"modified":"2025-04-14T01:30:17Z","type":"item","id":"Q5958730","labels":{"en":{"language":"en","value":"Proving sequential function chart programs using timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715775"}},"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":"Q5958730$2FA1460B-F416-4868-A62B-1DE77EC24A70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c095afa7ca5fef742ff1f7daf8ded935c61c428d","datavalue":{"value":{"text":"Proving sequential function chart programs using timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958730$1B4E2D46-9C5D-4813-AB81-CBB76D485F22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9ebfd0a1792657c24e8511ab037550996dce9b4","datavalue":{"value":"0984.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958730$9C35C09F-0D5B-44C2-9CA9-037F740479C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03dc95424535ded16409ea0930aaafa5bc26b129","datavalue":{"value":"10.1016/S0304-3975(00)00301-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958730$CF300ACF-26DD-4E9C-A72E-C9FA128FA6F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"413bad8cc374bef7ca61e44daf867463426d99c9","datavalue":{"value":{"entity-type":"item","numeric-id":236688,"id":"Q236688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958730$5FA0AD47-B11C-4F4F-BEC5-74BCFB7C6245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cc98bcafce67886009e20f9b6d34dd7925bff01","datavalue":{"value":{"entity-type":"item","numeric-id":236689,"id":"Q236689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958730$7B5E811D-325B-4AA9-BEDC-FC98F4A8D681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5bd104dc66326fd49f1bed16c1c6385d14f74a5","datavalue":{"value":{"entity-type":"item","numeric-id":236690,"id":"Q236690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958730$6BC27D78-50D2-4AAF-88ED-7C71E55D32CD","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":"Q5958730$AF581340-156B-4D34-A4BD-AF949F4D520C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5958730$427F72E6-2CEA-4323-9400-084BD3C51D76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958730$8871281A-E87C-4E20-88E3-F2728D3F49F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"175da77d616c3d71efc090e91ee20e4864104a18","datavalue":{"value":"1715775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958730$5E213E74-60AB-49A5-B9CA-9601373FCED8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958730$8BF4ABCD-D6F2-4306-8324-0B6FC7A18F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d313243b4d4edae5eabcec2cc44ab65f926d4bd5","datavalue":{"value":"checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958730$1DB76EB1-D1F5-46AB-92C1-2DB779669219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958730$68D9163B-5BEB-41B5-ACAE-EFAC9BA2BF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e58ceb898ec1edc1da165725f49e76fb8fccc8a7","datavalue":{"value":"TCTL logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958730$2B234A6F-957F-4C06-BD91-3E6E35AD9D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfece26706bd2f779d585e566ca50796be2aa35","datavalue":{"value":"sequential function chart (SFC)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958730$E4A13301-4BA9-4452-904E-47AA9CC715B6","rank":"normal"}],"P1463":[{"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":"Q5958730$3B7DD344-D396-4324-A938-4CD49327FC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ccc062e2d311aa84366365333d09c3a4e32b41bc","datavalue":{"value":{"entity-type":"item","numeric-id":20934,"id":"Q20934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958730$A1D26CEE-9D76-4364-816A-74296026D90A","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":"Q5958730$DB1A18C7-9606-44D6-ADF7-1AF0870AD24A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeb33de39adcd013a90106b3534dea2849e02335","datavalue":{"value":{"entity-type":"item","numeric-id":4763590,"id":"Q4763590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958730$DBE1ECFD-749A-4C11-B8D4-8869287F7558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958730$DDB7CA4F-9C1B-43C3-8D3A-A3550FF356DE","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":"Q5958730$3AB61DD2-047B-4D58-BBBF-05D920DE2C51","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4dd5976d1a688e5bf25ffd0fcfef0fed0d50e14b","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00301-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5958730$6F8BEB38-AE03-4C64-97DF-9CD0493CD54B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ac03893432f5242f9cb18fcdcbbc92d85a30e8d","datavalue":{"value":"W1970311687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958730$CBEA7BEA-2B18-4EBC-B1C0-BF37229E52AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c2fec342ecb4e94948044b707e10f884767beb","datavalue":{"value":{"entity-type":"item","numeric-id":4508304,"id":"Q4508304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6470dd8cba6edfb9149bd0172514bc8f3e847b73","datavalue":{"value":{"amount":"+0.8862379","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958730$10CF4067-63F1-4B1A-9892-E937D8862475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"015eecb01d1893e0d62746682fc175ed144b0605","datavalue":{"value":{"entity-type":"item","numeric-id":5458842,"id":"Q5458842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96381b66a189e0beacdbba24403b8ec73b7182ae","datavalue":{"value":{"amount":"+0.877719","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958730$9B133FC6-B07D-4DC9-96A7-C0ECAD68E925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e9e271c461eaf7166a0470f6c162324698c6f7","datavalue":{"value":{"entity-type":"item","numeric-id":5392293,"id":"Q5392293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c36663c31762266d9f7c403530c863e97e595ef","datavalue":{"value":{"amount":"+0.875136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958730$6881D7FB-D686-4AC6-ADEF-6A01A2FEA474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48c7a2824d74d41d44785de4090c88d7755c2641","datavalue":{"value":{"entity-type":"item","numeric-id":2842583,"id":"Q2842583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ab4ce83ca2b76e279f932c7c4a10ac86fc2fe34","datavalue":{"value":{"amount":"+0.871034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958730$D7857ED6-BD5C-451E-932A-1CF7D08FB9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f52d955002b9064e226e396365b35b7e63d4c2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3743249,"id":"Q3743249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f68cd350f5640d04dc7086bdce39d4a28288613a","datavalue":{"value":{"amount":"+0.870415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958730$998BAC1C-57BF-421E-807B-8233C0DCA1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983d11ff1dd06ecdeadd1f66f16e5f7a7c531de5","datavalue":{"value":{"entity-type":"item","numeric-id":1333273,"id":"Q1333273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f5d46e7ed0cc163939cb58edc8f326397e81fa7","datavalue":{"value":{"amount":"+0.8683571","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958730$B8820475-1083-4A74-8849-BD74839FB5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d39b323f104ec065ef541d58b453aeb7de6d3485","datavalue":{"value":{"entity-type":"item","numeric-id":5500559,"id":"Q5500559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"772bf72251e7942817e3f9b666ab6a6305e1fea4","datavalue":{"value":{"amount":"+0.8650936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958730$772D0948-F74E-4BE1-A4F4-7E175C71E499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14ad5ce4a85ce95c1e9de253112de9b62eb31841","datavalue":{"value":{"entity-type":"item","numeric-id":1306169,"id":"Q1306169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05a7cbaa572d95deacbd2aeac87f54cd8a9f9a75","datavalue":{"value":{"amount":"+0.8626153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958730$A23AFA31-B8F1-470D-B451-DD2429E59F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65c44c0e0c64b6fa8fe94ec4f8dc5662b949c20","datavalue":{"value":{"entity-type":"item","numeric-id":5476390,"id":"Q5476390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbab1bdd078fe0a1ce08c913833d342129514fb5","datavalue":{"value":{"amount":"+0.86094075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958730$AC6D7724-5EAA-4E49-95FB-08E2289DB0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0745e883f776b5cbd440bfdbb7c40bbd13b305e0","datavalue":{"value":{"entity-type":"item","numeric-id":4738216,"id":"Q4738216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc3cc25459d4a536f2b8f92d436e2912222fe27","datavalue":{"value":{"amount":"+0.8594558","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958730$63C293B3-2765-41CD-9F74-574CF6AC02EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5958730","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5958730"}}}}}