{"entities":{"Q1019005":{"pageid":1020853,"ns":120,"title":"Item:Q1019005","lastrevid":66554580,"modified":"2026-04-12T10:54:25Z","type":"item","id":"Q1019005","labels":{"en":{"language":"en","value":"Slicing communicating automata specifications: Polynomial algorithms for model reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5558108"}},"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":"Q1019005$D3260B9D-BBF7-4782-B53F-F3193BF7732C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb5b3dbf355a90d9b9ffc000d766ef9bbbcae4be","datavalue":{"value":{"text":"Slicing communicating automata specifications: Polynomial algorithms for model reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1019005$6E983202-8353-40E8-A2D6-BE53446D38CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7711b8e214db15520f980231ed57f604a68968a2","datavalue":{"value":"1163.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019005$8E83519D-4533-42A4-9AEE-C4F1887522EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56f0631b202018512de6ee0b8603afc62b21b0dd","datavalue":{"value":{"entity-type":"item","numeric-id":1019003,"id":"Q1019003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019005$B05F6FF2-E306-4520-85B6-EE34FD2628C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df99d6132c9c69acacf603d0ba2bc2424f1bb06b","datavalue":{"value":{"entity-type":"item","numeric-id":1019004,"id":"Q1019004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019005$79D20194-5F35-4C40-83C4-E2B5D275EDB0","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":"Q1019005$B80CC225-A7A4-491E-9938-A695C2998939","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ce65d071e7340c2588abccb76c05f02030105cc","datavalue":{"value":{"time":"+2009-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1019005$5D2B04EA-1D9A-43C9-B919-9A311DDE7CED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec288bc64dcfa0dbdacd29083b33584d56c235c4","datavalue":{"value":"https://tel.archives-ouvertes.fr/tel-00180174/file/These_Sebastien_Labbe.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1019005$DA361952-C05F-4887-8E06-D07C57739649","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019005$481D59C7-043D-4BC5-9584-7D36E74DB39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019005$36EBD6FC-D6B7-428A-A80E-E5C263E70EDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d794087014d768655348247dfc4dd12c5b9470d0","datavalue":{"value":"5558108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019005$FC960438-C831-48EE-8DB1-FC1C38ED5825","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a328af7ff1543bbca7dabe1fd934e14aca40f87e","datavalue":{"value":"slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019005$E2DDD6DE-F989-4C9E-9CA4-95C52E7F6E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00136e647e328aafc8cc9233d4b1b1691904b2a2","datavalue":{"value":"model reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019005$A19220A9-A50C-40AD-8B33-2D4EDF3EC8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019005$50EF99C7-D07F-4524-9EB6-C8F68E9030E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4b540c1974e4f91a1ebdbd0611399a8ad7d05f0","datavalue":{"value":"communicating automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019005$777BEC88-AF39-46DC-BCC9-F6E99B26332C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019005$0B798A48-4A23-41D9-A128-337166EE9699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"268f18e8564f6b5efc42a270395a1675187b18de","datavalue":{"value":"dataflow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019005$334D6848-6D16-4224-B7C5-24DCE64C88C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b6d19d4c43b54c850c0e7b873f523866d352b6c","datavalue":{"value":"polynomial algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019005$454D975A-20AE-45C0-884B-227432992597","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bc67aaf98a5376c6763ef5a9658a3374acddf01c","datavalue":{"value":{"entity-type":"item","numeric-id":15466,"id":"Q15466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019005$99F9305A-9776-40F5-9285-09275A74BEBE","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":"Q1019005$4A6970AE-6124-44EA-A540-C2730E6F2B21","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8bf8e0d5a739caf9c162b00bc5e894016a1a530","datavalue":{"value":"W2086859508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019005$523B55ED-2F68-4291-97D2-F247E63421A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2932eb0fd352a94acc2aa8d33389279153472037","datavalue":{"value":{"entity-type":"item","numeric-id":4162673,"id":"Q4162673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019005$F7039337-2C38-4665-B6B8-70F82775B91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff78fefe7b6248cbe92a601e7b1f74bac6bd16c","datavalue":{"value":{"entity-type":"item","numeric-id":4417966,"id":"Q4417966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019005$F3F742F1-BC64-4F7C-8581-181254A36AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1d9b2b244b625d820a8233659bc5e08d9db86","datavalue":{"value":{"entity-type":"item","numeric-id":5703816,"id":"Q5703816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019005$7B3EFFCB-C52D-4D4D-8004-13E1C6B82AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"427a050d6a10876443a15cfe34d5c026b05dff9e","datavalue":{"value":{"entity-type":"item","numeric-id":3761672,"id":"Q3761672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019005$1BD47C66-F616-468E-BD08-E5A8283CFADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48a329dbdf8b631c52b28f2506f71851037a9cf","datavalue":{"value":{"entity-type":"item","numeric-id":3434649,"id":"Q3434649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019005$684AFBBC-15E2-489B-A48F-BC61E3B72721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dddbf5a0828a483977d32a11acd4a387dc86011","datavalue":{"value":{"entity-type":"item","numeric-id":4133096,"id":"Q4133096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019005$357492A1-C884-4B65-8371-26B2B6D39710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"510c432f0ea15ce9c9e005a3d2df987de2fae3aa","datavalue":{"value":{"entity-type":"item","numeric-id":1110308,"id":"Q1110308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019005$6C541FF8-1733-427B-A1F6-5F74DF754E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24eb300841d0e0b571606f3eb7a1f32b7e99531b","datavalue":{"value":{"entity-type":"item","numeric-id":4076758,"id":"Q4076758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019005$8EE44AF6-8AE8-4152-9973-C60B42977F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f0ab0a8c783338fb4ce65d97b7e35d81579254","datavalue":{"value":{"entity-type":"item","numeric-id":5176023,"id":"Q5176023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019005$3F8729BB-D989-4A42-8506-F75C2473BCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857dc82a063c3e8a5bfe609deb8248d276966a4","datavalue":{"value":{"entity-type":"item","numeric-id":1856160,"id":"Q1856160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019005$0B013BDE-B1B0-4B7F-A796-1FC076BB4AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019005$5B062756-595E-414A-847D-10658AE22666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"515eab03ce40e04f6808988f7db48138768eb0d6","datavalue":{"value":{"entity-type":"item","numeric-id":5316585,"id":"Q5316585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019005$9418DDDB-60A7-4A86-8DA1-37E855CAEF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c946575007366b2e3da69495bebfa77fbf56403","datavalue":{"value":{"entity-type":"item","numeric-id":4412530,"id":"Q4412530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019005$A27F6324-DFF0-47F0-AF70-768E362189C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1f5d92f5b81ae98d1a58d15e12244af12bf4ee6","datavalue":{"value":"10.1007/S00165-008-0086-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019005$9301CEB1-4578-4D46-ACDE-09B8C4E4970B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b11db45e72bbeedd1ec5e9f0b19aef8220edf007","datavalue":{"value":{"entity-type":"item","numeric-id":3431403,"id":"Q3431403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9d99d0693d185a9e1e1e2293dff676594584bc1","datavalue":{"value":{"amount":"+0.7514441013336182","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":"Q1019005$F61C45B3-3F33-455C-BF61-B99FBC1321EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"882b1975b2a11a6e3acb5c62382afa38046a96ed","datavalue":{"value":{"entity-type":"item","numeric-id":4412530,"id":"Q4412530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa2f9bf79025447f7a808583da9599fc3286c1a1","datavalue":{"value":{"amount":"+0.735521674156189","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":"Q1019005$A675E5D4-67A9-4BCF-B190-D839D6B3E295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e209e97a0629ef66ce7dfbb5aa88a6f7673bc062","datavalue":{"value":{"entity-type":"item","numeric-id":3608880,"id":"Q3608880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78889521179490c643640b9cd4bec41e0b6c3e5c","datavalue":{"value":{"amount":"+0.7346113920211792","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":"Q1019005$7258FACF-EBC4-48D2-A2D7-F15D712046FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d177f5648374796cc8b8f50cc42d6ef2378a02da","datavalue":{"value":{"entity-type":"item","numeric-id":5703816,"id":"Q5703816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b94531cd0d07482f06271653127156482420b5c","datavalue":{"value":{"amount":"+0.7341176271438599","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":"Q1019005$964B1842-D6E8-4E10-9603-7A209D04EF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0404a22a9568850d17ecebc1ba67b8b4f4b7de4","datavalue":{"value":{"entity-type":"item","numeric-id":1595472,"id":"Q1595472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"542514a11ef97fadfef08ec7d4775a78791ee35f","datavalue":{"value":{"amount":"+0.7170406579971313","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":"Q1019005$373A6257-4C5C-4CDF-904F-EF11B74E5D35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Slicing communicating automata specifications: Polynomial algorithms for model reduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Slicing_communicating_automata_specifications:_Polynomial_algorithms_for_model_reduction"}}}}}