{"entities":{"Q6100077":{"pageid":13234384,"ns":120,"title":"Item:Q6100077","lastrevid":57289071,"modified":"2026-03-27T22:40:46Z","type":"item","id":"Q6100077","labels":{"en":{"language":"en","value":"Generation of synchronizing state machines from a transition system: a region-based approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7699891"}},"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":"Q6100077$3E5F9B5A-3071-4EB0-B9E0-76CA90114AF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64139c60968e0ddc7801a796c06c6aaa1f8719d6","datavalue":{"value":{"text":"Generation of synchronizing state machines from a transition system: a region-based approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6100077$E67FE174-92EF-4BA0-BC18-AC9A903725D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64ab6894b73d27e232bb2651f1cebb142c99ed07","datavalue":{"value":{"entity-type":"item","numeric-id":6100076,"id":"Q6100076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6100077$391A5EA1-A96E-4F14-A294-C436F1E6600E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d473ca5432f461253d8e2d2e2b48dc9a67b6751","datavalue":{"value":{"entity-type":"item","numeric-id":708893,"id":"Q708893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6100077$A488B15C-2E85-473A-99AE-A55A40EF13F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f89ef066096ca3e248c3cbc97dc37d82e003c08","datavalue":{"value":{"entity-type":"item","numeric-id":1020550,"id":"Q1020550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6100077$D5390AD8-20E3-475E-9A2E-8C6BCECA41E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f510c5e690efa669d4d80846fa4397a83b3b4bf6","datavalue":{"value":{"entity-type":"item","numeric-id":285367,"id":"Q285367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6100077$E61BCE54-245B-4745-883D-86A62FF06300","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"988ecedd086400a3d43c684f20a52390c3cb07b2","datavalue":{"value":{"time":"+2023-06-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":"Q6100077$00915E50-FFD3-44AE-A0B9-BA2E3BBD0A7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6100077$2E1A60F8-84CA-41B2-BABF-02A831ED0BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30e0158d39e8dcc6ee00ca7b3ae626e5899d5903","datavalue":{"value":"90Cxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6100077$25D01793-465E-49A9-B32C-5ED765E4BFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6100077$664FBB79-48AE-499E-A44E-8C2418F11A2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"231de3e804995e8b7631bf14eeb01f3501db6bfb","datavalue":{"value":"7699891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6100077$AB55E2DD-907C-4753-BC58-9B0C9C452A6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6100077$8EEFC4F8-7805-438C-98D4-FB18123F2C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q6100077$1D39EE2F-75B7-40ED-B642-6999F47C78ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f40d419c3fa26b2514bfe6acad0af4c3d2cd5290","datavalue":{"value":"state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q6100077$73140B5C-FF34-4A97-81B3-629F1D47BF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"615f2a3773e3a9a3bad386a540fbc6c58cfa22ee","datavalue":{"value":"decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6100077$565649C1-DBAD-4F6F-96B0-C29321A41A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e61bfebe473e2eab68d3b41202b85ca15f92776","datavalue":{"value":"theory of regions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6100077$BA54C841-99B8-4CC0-978B-0F73BACCF339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6100077$CB1B6837-AE08-4E75-A9F2-ED1259374626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08c009e1da85687f7d248bf3d529bee2d7b4b712","datavalue":{"value":"pseudo-Boolean optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6100077$8A519557-518E-4904-8E32-6EFF09B916BA","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":"Q6100077$11E13595-B887-4818-8180-7EB2BEA4DCA1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45674943e543059b7bac638c13624e47420b549","datavalue":{"value":{"entity-type":"item","numeric-id":897109,"id":"Q897109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6100077$708FF3B7-3A23-4A2F-A3CB-66BCDB3AD543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94ff8f1c19496727f99d8fe271f1509db3d0697c","datavalue":{"value":{"entity-type":"item","numeric-id":697569,"id":"Q697569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6100077$D406CB95-2DFE-4E70-942A-1E5A7DB30AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba4d1b58cbbd07bee82434ade0c70aa941adf12c","datavalue":{"value":{"entity-type":"item","numeric-id":5280804,"id":"Q5280804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6100077$87A7029F-9E70-4A4C-8B80-728E91593B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43c429eaca472ae36e3b1408b09cc956591b981","datavalue":{"value":{"entity-type":"item","numeric-id":4571475,"id":"Q4571475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6100077$6FF82847-A99A-45EC-A827-B688494C055D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca40f7fab407694a6786a841f6f4de26a927568","datavalue":{"value":{"entity-type":"item","numeric-id":4856177,"id":"Q4856177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6100077$295924A2-D7D6-4FD9-B56B-0005EED0A07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aca06766684d6875f2b6c3dc42b2014a90381129","datavalue":{"value":{"entity-type":"item","numeric-id":911308,"id":"Q911308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6100077$A2798930-9E9D-42C5-A15F-AE1A56FB6D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"128c8a551dc6b4e7cb0d154dc220e17c01bf1e47","datavalue":{"value":{"entity-type":"item","numeric-id":5166757,"id":"Q5166757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6100077$7298E26E-81E5-446A-9EA3-9B1688AE6D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be9cf150a6fcb511510e358888d96eb0a938bbc0","datavalue":{"value":{"entity-type":"item","numeric-id":4824481,"id":"Q4824481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6100077$33ED11C8-BB90-4B50-BB26-15C95871B42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c669bf5cd4a12083d5de971ce833b5ad1e655f3","datavalue":{"value":{"entity-type":"item","numeric-id":3453205,"id":"Q3453205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6100077$D1F66C32-CC42-43E2-B570-F1B8AE18F9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d65f813b7bf62e89eaf2eb886e2ecf258499df","datavalue":{"value":{"entity-type":"item","numeric-id":4221106,"id":"Q4221106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6100077$82A64C6A-FB0E-4BA0-B288-BF5FD665B8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"163451bf02bfb2eaa6ee05991c63b4fdf05a28ca","datavalue":{"value":{"entity-type":"item","numeric-id":2908200,"id":"Q2908200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6100077$F48433AE-6C3A-42C9-A30B-536E9C990668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1343b20af5fa9e547475b8860a74b6cceac1dad8","datavalue":{"value":{"entity-type":"item","numeric-id":2115918,"id":"Q2115918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6100077$78854C45-392D-4446-B094-EC2BCA79B099","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aebb33bf77c0565e3d971d846b877371f681b75d","datavalue":{"value":"10.34768/AMCS-2023-0011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6100077$B62B407B-09EF-4213-A379-94B51391BA4B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6e2260e47a2889770c9d5516a7c5ae827b188d2b","datavalue":{"value":{"entity-type":"item","numeric-id":6830563,"id":"Q6830563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6100077$684D3148-1126-44E9-B0D9-4D0EAE1E9C39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6100077","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6100077"}}}}}