{"entities":{"Q1575536":{"pageid":1586276,"ns":120,"title":"Item:Q1575536","lastrevid":70742412,"modified":"2026-04-13T16:27:04Z","type":"item","id":"Q1575536","labels":{"en":{"language":"en","value":"Effective decomposability of sequential behaviours"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1493352"}},"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":"Q1575536$508289A9-F31D-44C8-87FD-26CA089921D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6cd49636dc650677ecf5c872da0f0489448a5f0","datavalue":{"value":{"text":"Effective decomposability of sequential behaviours","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575536$B385363C-32B9-4DD2-8870-966EEEB5C27A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10369bab8184ebbdc8aa8ff7575860799a3f7f72","datavalue":{"value":"0944.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575536$4214B5CA-EC86-4043-B521-50C1D9AE899B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a5e6311d70314bf5acd0eb436628f185753f644","datavalue":{"value":"10.1016/S0304-3975(98)00201-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575536$DFB7557F-7520-491F-BBD4-9DF7E7BB9119","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3e518c334d462c26c60c459e716d0942607e70d","datavalue":{"value":{"entity-type":"item","numeric-id":235697,"id":"Q235697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575536$4FE23D50-5716-4A64-AAB0-5DA87632954E","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":"Q1575536$ADED32D6-ABF5-499A-939B-6622D72BB9E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3a497233c3b9babc42d370358782cbff338a7a1","datavalue":{"value":{"time":"+2000-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1575536$2034C5DD-3239-4B06-8D6B-F87DE3214B18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575536$2C91B9F6-9601-422E-809E-A334312DFCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575536$B736B903-AF3B-48E2-B856-7C9E0A721A3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b40b8d9e64a90a3348f3f9627b3148defe931041","datavalue":{"value":"1493352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575536$1394F47E-72C3-4AA5-B064-F8E4FC1666F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575536$D2206FBB-AA11-4EAF-B581-25A4D4207977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575536$58044F2F-3366-40AC-949F-6446900B4DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33091d86905202af08d9012d6e5fba9f5ed72f62","datavalue":{"value":"infinite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575536$27A26599-8D20-4950-8F2A-86D7BB306681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4adb18bcac430f0482b7bf62c08c92b29c5f7df","datavalue":{"value":"parallelization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575536$AB91CA34-06E0-44C2-BA81-FA8651F7DD42","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":"Q1575536$0BB97655-9837-4C87-BB8A-8339CD3956A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd94c9f885ba3e6669741eb6ab6af5cb1cb9582","datavalue":{"value":{"entity-type":"item","numeric-id":3140021,"id":"Q3140021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575536$7480BC89-DC67-4F5A-B4AD-24C13ED8493F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575536$C060B788-B2F7-4130-93B7-4DBE6D89E931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd20acd8490de9e92ead9aa13a4116b847d815d","datavalue":{"value":{"entity-type":"item","numeric-id":4222869,"id":"Q4222869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575536$75D2EA15-7ED9-4319-A2D3-E84A88EE8CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61e9da128cf0bc00b4afad4ad9c84331a4d798a9","datavalue":{"value":{"entity-type":"item","numeric-id":1351456,"id":"Q1351456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575536$347ACC96-6282-4305-9CF8-9FEC511A89B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87108acf045bf78204a3fa41cc71b5de23f7a79a","datavalue":{"value":{"entity-type":"item","numeric-id":4715674,"id":"Q4715674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575536$F9DCF5D8-4207-4893-9B2F-BC5ABE25032A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575536$33C5BF58-D63A-455A-9575-1EF74FCE41E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cabd132592c4e43c9101a69d61c4172a98a16075","datavalue":{"value":{"entity-type":"item","numeric-id":1208422,"id":"Q1208422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575536$34D7369B-A520-4C5C-95EE-6414703D1927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575536$184CB168-0E96-47AF-B89B-743D4C4ACFD2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"54dde683518873a985d6ecfa50b8cdf7ceb60484","datavalue":{"value":"Q127174024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575536$3AB291EB-835F-4BAA-8878-1F5355AF8E7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de9b67f7d657dd2579f94c3a215bba2f9cf6c0bf","datavalue":{"value":{"entity-type":"item","numeric-id":6044125,"id":"Q6044125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f9e8b96ae31f3da191bdcdb1ce15d5da01886b8","datavalue":{"value":{"amount":"+0.923462688922882","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":"Q1575536$48C7C00E-25C7-474B-904E-57386B42ED26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2cc88da3986380adf26af3988a0b6e186640252","datavalue":{"value":{"entity-type":"item","numeric-id":1208422,"id":"Q1208422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62abb4c0d1e9797980c8ae5c48514225c057ab83","datavalue":{"value":{"amount":"+0.824913501739502","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":"Q1575536$9FD3952A-4EE1-4319-B0E9-9872754FD1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ef5f454559001684f46fdf57a575758ab9931b4","datavalue":{"value":{"entity-type":"item","numeric-id":4712664,"id":"Q4712664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"086047858e75c2cb11cd7942a5d2ed71fe1711ae","datavalue":{"value":{"amount":"+0.8038420081138611","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":"Q1575536$A8C2C0AD-7637-4913-8799-466A49A31EB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Effective decomposability of sequential behaviours","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Effective_decomposability_of_sequential_behaviours"}}}}}