{"entities":{"Q1020554":{"pageid":1022402,"ns":120,"title":"Item:Q1020554","lastrevid":50667407,"modified":"2026-01-14T18:06:06Z","type":"item","id":"Q1020554","labels":{"en":{"language":"en","value":"Compositionally progressive solutions of synchronous FSM equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5559862"}},"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":"Q1020554$EA94CC52-104A-4F4C-ABE4-8EB7727B02B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a0066323cf1d2c526888460f7e6fe2e678de48c","datavalue":{"value":{"text":"Compositionally progressive solutions of synchronous FSM equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1020554$4DAB32BC-7579-49FD-A07C-FFF93D7A9925","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adea58528b6137908453b9ec54f50892ee9431f5","datavalue":{"value":"1161.93322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1020554$C411CA10-8D72-49F6-82BF-737A8C7DB952","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d1e9d1afb50bb50a42229c9a97c1d3116256705","datavalue":{"value":{"entity-type":"item","numeric-id":413310,"id":"Q413310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020554$6C55B59D-3523-4110-9DFE-3F23B5DCE7DF","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":"Q1020554$B108F1FF-4FF5-4231-85CC-92DC3C225A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c287079e407405d0883d696b618e0b7ff853eb0","datavalue":{"value":{"entity-type":"item","numeric-id":1020551,"id":"Q1020551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020554$620B9C01-4EE9-4A33-83EF-FF2ADB11F425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b41785b4532632ecb9b962159f0666f9c899e0a6","datavalue":{"value":{"entity-type":"item","numeric-id":1020552,"id":"Q1020552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020554$4B080D34-CF17-4D7F-BB58-20A84406F2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d086e44329306ab3ecd40903a02197703cd48951","datavalue":{"value":{"entity-type":"item","numeric-id":1020553,"id":"Q1020553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020554$6480EA03-60DA-4FA4-B562-ECC470A3D485","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020554$EFE81901-D09E-4215-9F5B-BD359DAEB064","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c1214b366be0e4645b55d47fe60be82f198f986","datavalue":{"value":{"time":"+2009-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1020554$D0509653-4E2A-4748-BD2A-5D740A22E724","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1020554$73648547-43FA-4084-B453-96906869EA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1020554$58237080-0357-4CDE-8CD5-5E68CE613936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1020554$1E93E461-0905-4DCD-9A97-F08DB361B93F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f0634e408a298dee740b72b8dc8e666aee1cf2e","datavalue":{"value":"5559862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1020554$064EDD92-865F-4B23-A2D1-F8C3F99A6CAC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0666c4bc6d7a9869d42536816396636b9a36eaa","datavalue":{"value":"language equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1020554$59222C66-6C0E-4F9F-AC1A-DCE460485E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fae05ced63030a229642ca3bdc0f479742289e2d","datavalue":{"value":"finite state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1020554$72FBF6C8-A6D3-4A98-AD3A-75BF460C3159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f97760a1af669422f7c81437fc74b1e02bcd02a","datavalue":{"value":"progressive solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1020554$07B93020-4562-48AA-9642-A9ED68C935E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be7b0654cfeff5f123e8a044b3113a1ada28f038","datavalue":{"value":"synchronous composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1020554$67EF9080-0B87-403D-8E1B-62546A439027","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020554$93B7CB39-903C-4195-BE15-CDBB338E0866","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":"Q1020554$B3B9BB4C-B75B-4338-A9F6-9E563ED7FDE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"607c04d4393d88695ed5df0c153a41edf04d8658","datavalue":{"value":"https://doi.org/10.1007/s10626-007-0031-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1020554$F156E19D-0673-444C-8BFA-A5DAD749DF96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4319b4fe0f238b67c48dfbb12b8a9789fc54b49e","datavalue":{"value":"W2056297258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1020554$82D96A72-F50A-4641-BE84-27D873306CFF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"084a35ef98d29b4d63222fd5bce9d4bc28205d25","datavalue":{"value":"Q57380410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1020554$EB4CD5AC-E0B4-4D8E-889E-60140E7842FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8c477b3048704927ae5245e6bdeaf53f788029a","datavalue":{"value":{"entity-type":"item","numeric-id":1273548,"id":"Q1273548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020554$84ADDFD5-B848-4218-974D-57F511031AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b09d6e4ac27146ffe86c05dd3dbdb55815fab3ea","datavalue":{"value":{"entity-type":"item","numeric-id":4412566,"id":"Q4412566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020554$ADD5056A-F2D0-474C-A1C7-347104803BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bdb7e88d4cb56dbe386cc7e0ba97cc60cb8630c","datavalue":{"value":{"entity-type":"item","numeric-id":3564943,"id":"Q3564943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020554$0F6E33A5-BDA6-48CB-B38A-51300BEB0C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4b27df433dd681bd3bffea572d668a1d25f01d","datavalue":{"value":{"entity-type":"item","numeric-id":4719062,"id":"Q4719062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020554$24CF2356-C67D-44C3-B378-17176E811BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d09b4209494cf6042a0c7555abf8280adbbb7f38","datavalue":{"value":{"entity-type":"item","numeric-id":2508960,"id":"Q2508960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020554$F96BE052-16AC-49F7-B40D-F9D88EC664D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7712fd4d957bff39228c21f262e6255cb63fb01c","datavalue":{"value":{"entity-type":"item","numeric-id":1360353,"id":"Q1360353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020554$2C0911C9-F416-4C87-BB10-4C4A7963AFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020554$D32A0767-CC93-49AB-ADEB-9C1BAD697580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd2b76a7a7f6c9d7a7925364c87e6e5477abcfd0","datavalue":{"value":{"entity-type":"item","numeric-id":1361804,"id":"Q1361804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020554$30B07828-5470-483B-B956-8B43DA49B7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13dc4b0cfae33aa89beacf393f36328816895198","datavalue":{"value":{"entity-type":"item","numeric-id":1020554,"id":"Q1020554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1020554$66299290-8F8C-4D40-B5A4-46529DCE3EA5","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"572a39c1de9c7c9c0e5040b70ad35ce088e204ff","datavalue":{"value":"journals/deds/YevtushenkoVBPS08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1020554$9A5368FA-FB05-417C-A5EC-C61B92ED0626","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3aefe9314f1a5e03c55aa15342d6a5eeae6cdda1","datavalue":{"value":"10.1007/S10626-007-0031-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1020554$23F09B1A-DF85-4BBA-AD20-E93904D57D71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5a12c12345a7b0de4c37dd7740de8af6024d946","datavalue":{"value":{"entity-type":"item","numeric-id":5117043,"id":"Q5117043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37997ac718cff792d3ef144ce4fbdf2dbbe8a3f0","datavalue":{"value":{"amount":"+0.8916093707084656","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":"Q1020554$EAFED42A-E1A5-462F-8EA7-1ACB28346AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"303c34ee201aab62d2647be14c65e612442c7328","datavalue":{"value":{"entity-type":"item","numeric-id":3602822,"id":"Q3602822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e366fbd283f78bb4d20f5a0738a247815e4d1fd","datavalue":{"value":{"amount":"+0.8763700723648071","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":"Q1020554$8619BBCA-9117-4D48-8256-D0C0EAC88476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"924762047359a779c1ae99502509a8b6cdb9061a","datavalue":{"value":{"entity-type":"item","numeric-id":2508960,"id":"Q2508960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80cb8f6486f523f88ff0bb8c0dc4009aba3bcfcb","datavalue":{"value":{"amount":"+0.777758002281189","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":"Q1020554$05D5836F-5144-459F-A999-E6F3DC65C4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e633904d6a8f194203aca48894416eb807201ef","datavalue":{"value":{"entity-type":"item","numeric-id":3564943,"id":"Q3564943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"751dc9621decf7119a657cc7e44f1e2b6e5562f1","datavalue":{"value":{"amount":"+0.7733773589134216","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":"Q1020554$11044E0B-AA2F-434C-8577-CDCE44FE036C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f60a3be98dc00c27cef0aacce4883fe8d7d77e1","datavalue":{"value":{"entity-type":"item","numeric-id":2263188,"id":"Q2263188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8028383947c0db9ea07f1c0eb1b5126928a850ce","datavalue":{"value":{"amount":"+0.7513689398765564","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":"Q1020554$6E509CEA-DC6A-4E1F-A187-7BDEB5169EA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1020554","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1020554"}}}}}