{"entities":{"Q3297841":{"pageid":3308549,"ns":120,"title":"Item:Q3297841","lastrevid":53776304,"modified":"2026-01-25T17:08:08Z","type":"item","id":"Q3297841","labels":{"en":{"language":"en","value":"Correctly slicing extended finite state machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7223194"}},"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":"Q3297841$D9AD3935-7485-4B87-AD00-BD168AF34457","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d810690cd90ecc60e38972c3398cd2f7e893ea0","datavalue":{"value":{"text":"Correctly Slicing Extended Finite State Machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3297841$1A817C1B-7823-4518-9DF2-9D1192A81AED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe64bd76cce060059b794084a84025b76ba02529","datavalue":{"value":"1440.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297841$B202D821-E6F7-4F6E-A037-654ED06D7E8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57d68da707a2e8459c008eea770c23720a3817b1","datavalue":{"value":"10.1007/978-3-030-41103-9_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297841$32BECA25-9E69-43A5-A340-A134A6E9BC5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6c99b545c7552dc10b633a7e0065b9914032c04","datavalue":{"value":{"entity-type":"item","numeric-id":859951,"id":"Q859951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297841$D31DB295-2841-4E66-A900-1CC0C36E1D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"704a6037a9e6e07037303d0f4a0117db18c3ff77","datavalue":{"value":{"entity-type":"item","numeric-id":1675758,"id":"Q1675758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297841$30C97DC7-79AB-429E-942A-A5D78498145B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d2737a3610a35ba9fb537c82cf27f5b5fd06e64","datavalue":{"value":{"entity-type":"item","numeric-id":436318,"id":"Q436318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297841$D69B0EBF-D32B-4EA6-9146-D9CFB3853261","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"27979b6fecde998746a1d86fcb1f0a4920fa93dc","datavalue":{"value":{"entity-type":"item","numeric-id":3297836,"id":"Q3297836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297841$943E9898-462E-42E8-9D4E-4AD3673D83A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93d5f4948d316121f295e91de8563e97eff620a8","datavalue":{"value":{"time":"+2020-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3297841$E55297F4-EB91-476F-A939-E9ECBC1868C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297841$0692BCCB-06D1-41CC-A70C-22088EF13103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297841$7015FB45-5FDC-4BD5-8C20-01282F447E78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd372a1910aa7999add2e2cf9cecd8cba858e4e4","datavalue":{"value":"7223194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297841$E8A1A551-E908-4848-BF07-F2398902D11A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8d294070391b962002415601ba287094a900d7a","datavalue":{"value":"extended finite state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q3297841$E8660699-D403-42DD-A34E-4F8470C8C72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a328af7ff1543bbca7dabe1fd934e14aca40f87e","datavalue":{"value":"slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3297841$1F3B4746-1502-4ACF-A95E-FC1BE3E2D885","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":"Q3297841$7E8D19C6-CD39-4F36-ADE6-D72643A1CB83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22bc7c5ace1b08eb69ca07fb91f70c77bdc4e229","datavalue":{"value":"https://doi.org/10.1007/978-3-030-41103-9_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3297841$5AA37BE1-74F5-4768-BE71-C79CAAC6D092","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73ad6da35d6653a9a9dc298ca57c5424d773f515","datavalue":{"value":"W3006017202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297841$02FB356A-A12F-4DDB-A385-012E0439EDB5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8399f1fd8fd60c2f545ea3c0d62101467f7b20cd","datavalue":{"value":{"entity-type":"item","numeric-id":963331,"id":"Q963331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297841$AD4EB14F-EC22-4C4A-B060-3AEADA451640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a7522726bb54d7cdc8e3fab968105cdd4cd2fa1","datavalue":{"value":{"entity-type":"item","numeric-id":650921,"id":"Q650921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297841$F799EF7D-0E67-47BE-B626-5801E713911E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d189d5566bbdf8684108572f8e7b1cae5e8fb1c","datavalue":{"value":{"entity-type":"item","numeric-id":1595472,"id":"Q1595472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297841$120725A0-B0B9-4657-802F-1F314FFCFBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea8d891f087a33e6da44f9df6d68a45022fbb","datavalue":{"value":{"entity-type":"item","numeric-id":1426461,"id":"Q1426461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297841$26ED3AA8-6698-464C-B898-AA566A551118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad887bfec434b5a37ef38f064448ef046d1ba008","datavalue":{"value":{"entity-type":"item","numeric-id":1019005,"id":"Q1019005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297841$4BA09A9B-6EEA-403B-B046-2B5216F02E20","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":"Q3297841$EEEB7467-DE4A-4281-A2F1-9BEE3E034851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85dde09ebb1f19a6cd9a4894da6ab9fd312128a5","datavalue":{"value":{"entity-type":"item","numeric-id":2875081,"id":"Q2875081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297841$CCD83B45-D543-4A7D-A705-7354FD58E9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"841df77b5e5e2d994ab30d1be873a76e763763b2","datavalue":{"value":{"entity-type":"item","numeric-id":3345745,"id":"Q3345745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297841$309EFE35-F52A-4AF8-8F5C-5F983AC31271","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca143b54254c4f084e67aa402d38089c80e9fe5","datavalue":{"value":{"entity-type":"item","numeric-id":5901602,"id":"Q5901602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c0a514fb527c617b71e7c35229a865dcc6f99b5","datavalue":{"value":{"amount":"+0.7847407460212708","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":"Q3297841$EE10A80F-FDFB-4037-B348-D6BA9CD209B7","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":"148f4fe0520b311dd13e129d48db898e144abdb1","datavalue":{"value":{"amount":"+0.7425881028175354","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":"Q3297841$75E88079-EA79-4AF1-8461-D2D9569C2993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bd30a920e756ebbb4d182010d9c3a1422f854db","datavalue":{"value":{"entity-type":"item","numeric-id":4436042,"id":"Q4436042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e058e6a1f00a0779bc900ebc3f08c7dc10eba245","datavalue":{"value":{"amount":"+0.7425879836082458","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":"Q3297841$C390B1AB-38B0-48CD-8AD5-9CE23701F983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e4b1f29b20ddb0f943f6f7243ba746c197885d1","datavalue":{"value":{"entity-type":"item","numeric-id":3508510,"id":"Q3508510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38053e7d7e4e321da41b5aa740464bfee5a6030e","datavalue":{"value":{"amount":"+0.7180935740470886","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":"Q3297841$CF0A0A75-4418-4987-A74E-5091901C2368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6391b7a4dcc5f4925cc19372d195f88b2ba73cf5","datavalue":{"value":{"entity-type":"item","numeric-id":3601408,"id":"Q3601408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"441b01ef58c549526d37cb981a28d2361aeb6603","datavalue":{"value":{"amount":"+0.7180927991867065","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":"Q3297841$E2B3B7DD-D477-4135-8AE6-3BA7EEF90D9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3297841","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3297841"}}}}}