{"entities":{"Q1176111":{"pageid":1186860,"ns":120,"title":"Item:Q1176111","lastrevid":69807834,"modified":"2026-04-13T09:31:51Z","type":"item","id":"Q1176111","labels":{"en":{"language":"en","value":"Functional specification and proof of correctness for time dependent behaviour of reactive systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 13468"}},"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":"Q1176111$F0E9042A-2A48-49D6-87AE-B4339615FB42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2595ca0112c8d57ca29d53bad559758524e583ff","datavalue":{"value":{"text":"Functional specification and proof of correctness for time dependent behaviour of reactive systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1176111$79051573-2CEB-44B4-885A-777BADB118E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c7c001f98d85f97c96d99d1eda8585624e653d9","datavalue":{"value":"0738.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176111$F17464B5-D807-46A0-9340-1C73901B1715","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be618086bf62b6d3443f9abd724a0584acfcf637","datavalue":{"value":"10.1007/BF01245633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176111$ED986C8F-1B14-4DBB-B48E-614B8067E88E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f372c831dbb82808c82faf610d54d1758bcba2d5","datavalue":{"value":{"entity-type":"item","numeric-id":1144956,"id":"Q1144956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176111$373440F5-181B-43D9-A11F-FC50E27FE96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"493a7eff92e8939f54f2a01d3d095f268dcd7193","datavalue":{"value":{"entity-type":"item","numeric-id":1176110,"id":"Q1176110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176111$EC77E554-AF80-452E-A01B-519DA79499EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176111$3B067B44-3818-41CB-A778-D29CF9D88FD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1176111$22525F1F-0122-49B5-8DFF-653E19E06EE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176111$6F5BDB52-F5C2-415D-9E4C-0A95BC1CE90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176111$31F4D1AA-8A9D-4290-AC40-D22ED4B4E7C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdee877337dd4c75a9a01e86dd86ef1120aba601","datavalue":{"value":"13468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176111$BD7039A0-B034-4528-BE44-48F1B650D7AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"469187c55e98beee71d6f690ffa16d1b32e62bc3","datavalue":{"value":"durational events","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176111$125DE5EC-0857-43BC-B356-D979589666CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bead23db90d3a65f82d9d9b298beaef1f694dbc","datavalue":{"value":"functional formalism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176111$BBD65F3F-5E04-4104-BB72-8F7767A6EC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176111$01A586AA-B93C-4FBA-8A08-E3D3672F238D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baa401a90f7be40837e492046fd0146ae8e354d2","datavalue":{"value":"robotics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176111$677FD1ED-ABFB-44E5-95D2-C767ABE37607","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":"Q1176111$47101CF5-43B8-4530-BE84-3034CD7AA8F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"afdf2554745c39628b95b8afebf79a989b3e10af","datavalue":{"value":{"entity-type":"item","numeric-id":3344239,"id":"Q3344239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176111$AA0D2AF0-9E53-4991-8D0F-AF7D12A9FBD3","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":"Q1176111$19809731-CF33-4EFA-882A-0DB26BE3FA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1f030dead697569038cbcf88960b24e27f170f","datavalue":{"value":{"entity-type":"item","numeric-id":5903449,"id":"Q5903449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176111$08B317BF-8325-4096-8CF1-1A6C1E4C3C60","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":"Q1176111$C21B7FBC-9F33-438D-9319-9E0CB2B25F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fcaf2a67b1b2addf120399b0e67ded2fd2e9c66","datavalue":{"value":{"entity-type":"item","numeric-id":4175259,"id":"Q4175259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176111$F234146D-7CD1-466E-8A8E-414CD47E98BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f5e46e4f5199c0472f6873d9a2a6f9498cc21c3","datavalue":{"value":"https://doi.org/10.1007/bf01245633","type":"string"},"datatype":"url"},"type":"statement","id":"Q1176111$57419486-6602-4034-A33F-9FDD7645E274","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f968b2b2c2b3b2c16bb7d543cda7519858950bac","datavalue":{"value":"W2059424634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176111$3D4695EF-C465-4A54-9E38-E38174306ED4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"369b87cdbffc9d980e71dabe22c80a3d592341c4","datavalue":{"value":{"entity-type":"item","numeric-id":2265792,"id":"Q2265792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11720bfc46a01fd1cea1cdb8f0212506cfac5899","datavalue":{"value":{"amount":"+0.7538822889328003","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":"Q1176111$39753DC9-AD42-492F-9ABF-A9E341496CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd8bacc09002edac0affd452a59ca4ea46b4ea55","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e943b817d6948e70dc11cd81e568fc3532abb00","datavalue":{"value":{"amount":"+0.7475261688232422","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":"Q1176111$5CD10876-0021-4C2D-87A4-6AA17E86DDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa606853d64dbd06a1a39c12eaf1887f1356cbeb","datavalue":{"value":{"entity-type":"item","numeric-id":4221300,"id":"Q4221300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1364789f7c31b3b02ff4b7b9ac36ec4e43bf9081","datavalue":{"value":{"amount":"+0.7420127987861633","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":"Q1176111$6FB8A619-EF80-4858-AF45-E8C71C266367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69be4a599d80f243dfa7abd10f5c2ef65c793d39","datavalue":{"value":{"entity-type":"item","numeric-id":5890052,"id":"Q5890052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5cd4ecda7599088511cb0fbfa9ee41f284947c5","datavalue":{"value":{"amount":"+0.7395843863487244","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":"Q1176111$62B8BFAF-A0E4-49F8-9100-8C6BB12EF3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd1d7d052e494ad9afac7adbcdc6bb876592a519","datavalue":{"value":{"entity-type":"item","numeric-id":1323323,"id":"Q1323323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8f3cb1450b8a08bf8c193d9d6ce4cb247cd5012","datavalue":{"value":{"amount":"+0.7368203997612","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":"Q1176111$4692E78E-672B-428B-A45D-B126FDD9473B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functional specification and proof of correctness for time dependent behaviour of reactive systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Functional_specification_and_proof_of_correctness_for_time_dependent_behaviour_of_reactive_systems"}}}}}