{"entities":{"Q3634102":{"pageid":5664008,"ns":120,"title":"Item:Q3634102","lastrevid":87469223,"modified":"2026-06-04T11:45:36Z","type":"item","id":"Q3634102","labels":{"en":{"language":"en","value":"Modeling by hybrid Petri nets and verification by hybrid automata and its analysis technique"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5568773"}},"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":"Q3634102$F9830B60-ACE8-42F2-8B12-F4702A5E495C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab893c011fd798408299255b616cb3b88aa8af9f","datavalue":{"value":"1179.26027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3634102$952D3F5A-DF02-4DD5-B1C5-A19F81026370","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9adc240976c9222e744c3902adad5410f9950124","datavalue":{"value":{"entity-type":"item","numeric-id":1062765,"id":"Q1062765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3634102$D69B1406-3E4D-426D-8FC7-2084F1B8409A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24461b317db15c7d8d131548febf06e515215290","datavalue":{"value":{"entity-type":"item","numeric-id":3634101,"id":"Q3634101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3634102$A62E2188-5884-4E6D-8CFB-834E087A720E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f66a2f08b182488ffaf8c1a4c74cdffeb2d3409b","datavalue":{"value":{"time":"+2009-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3634102$05E4AC15-0509-48B4-ADA4-40AACF555E21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3b32184511ebe8367d6433c9688358d66dd5f24b","datavalue":{"value":"26A33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3634102$942C888E-DD9A-4857-B75D-8F02C7D3D775","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8eeba40a637fa1936cb64517f15b60967b870bd8","datavalue":{"value":"5568773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3634102$83FBDFA6-A990-4D7D-9A52-64AC9E3173D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0b00a9961434d0b0a06c75d9321cb01f9b2c6a","datavalue":{"value":"hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3634102$60C66E45-D943-419A-84B5-970ACE5AFA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d02c8ddc942d2cac6c0108881c307cc105db4068","datavalue":{"value":"hybrid Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3634102$F84F2D4F-FDB5-4721-95FC-41643BA6FC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3634102$C3E70871-AF67-4397-8D70-415A6E5DE4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d2ba1f3a9d37aa907198949c7415e4bc2ead980","datavalue":{"value":"modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q3634102$56F6B998-FDE0-4220-8934-F8CBF3B17273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16da24c5a0382d4c0e1b754e184feb71bb9dfeec","datavalue":{"value":"quantitative analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3634102$FB9B76BC-1D88-4118-B476-04B670B227B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"122f07e1c3d34c6ab81d031dbe968935de05af30","datavalue":{"value":"approximate analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3634102$AA7C513A-B6C4-4A2B-B8CB-291B4F208A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bc080bc4e5298105190ab2806d89bd69800bb64","datavalue":{"value":"convex hull operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3634102$574C7344-8304-4641-B680-CFA7BAC6338C","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":"Q3634102$5DA89CD1-BEFC-4FC9-ABBF-6EF80DBF860F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c0ca6dbab8a64f191c5bb7160069c852d75e448","datavalue":{"value":{"entity-type":"item","numeric-id":2643424,"id":"Q2643424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18e7a0352c547dfa84a4de556de037991fbcba54","datavalue":{"value":{"amount":"+0.8396049737930298","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":"Q3634102$BE16AE7F-B8E8-42A8-B598-0E1DF6C925DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d9c0e9368306ebb2ec091708b76e0128e0c39d3","datavalue":{"value":{"entity-type":"item","numeric-id":4782044,"id":"Q4782044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97d70940d3b17c62cf8c2d1d421b791b68dab2b1","datavalue":{"value":{"amount":"+0.8328978419303894","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":"Q3634102$4495FA48-FE66-4263-A10A-C674ADB0185F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f07ed10405fe940003cef312c9e5fdeb806f03b6","datavalue":{"value":{"entity-type":"item","numeric-id":3517756,"id":"Q3517756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf2d7341043a2583bd170a05e459888386e6e5d9","datavalue":{"value":{"amount":"+0.8290671110153198","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":"Q3634102$9B81DBC8-CBA4-4205-8CE8-7A049428E41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b0b59149a95d2dc73165b13cd94aee826cf833","datavalue":{"value":{"entity-type":"item","numeric-id":5928918,"id":"Q5928918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb8a56a24a4ad1a6c0fd5b05fc689026465b2d93","datavalue":{"value":{"amount":"+0.8244078159332275","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":"Q3634102$8D7A989C-4D71-4D51-B498-E8EFACFF6195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b859555b529496f3df2cb1aee0d39fbc3ce01b3a","datavalue":{"value":{"entity-type":"item","numeric-id":442295,"id":"Q442295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42e33ba9fdfd6b7c1bbfc9c778cf1978cf8e95ac","datavalue":{"value":{"amount":"+0.8232611417770386","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":"Q3634102$70845B8E-2567-49B6-9CB0-EFD235934F6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modeling by hybrid Petri nets and verification by hybrid automata and its analysis technique","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modeling_by_hybrid_Petri_nets_and_verification_by_hybrid_automata_and_its_analysis_technique"}}}}}