{"entities":{"Q1401924":{"pageid":1412664,"ns":120,"title":"Item:Q1401924","lastrevid":48156997,"modified":"2026-01-03T19:45:35Z","type":"item","id":"Q1401924","labels":{"en":{"language":"en","value":"Well-abstracted transition systems: Application to FIFO automata."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1967117"}},"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":"Q1401924$F390ED36-4BEC-4742-BA99-71126F9A9AC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb0f98ca41bf3e6021219272ea0c150bd7422e9b","datavalue":{"value":{"text":"Well-abstracted transition systems: Application to FIFO automata.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1401924$04446699-0A6A-402C-847F-9981B39FC9B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4b5d730181dad7a44bd0517fa092d43170b8a71","datavalue":{"value":"1054.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401924$81EADD98-4AFC-4EDD-85EF-324D27A7DE0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebcb53eab24784cbe5b1d0dedb94f87218d8e15a","datavalue":{"value":"10.1016/S0890-5401(02)00027-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401924$C90496CA-2C59-405D-8A79-84CC5A338E7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dd3e8af98123c8ca2e63d92bcb754959cfa4cc6","datavalue":{"value":{"entity-type":"item","numeric-id":290912,"id":"Q290912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$A2211062-A459-4E73-A753-2D283D58C251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a63b65f806ae62e66bb9ee5d42df731ee9e52a2a","datavalue":{"value":{"entity-type":"item","numeric-id":1126265,"id":"Q1126265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$19D2F393-04F6-4114-8E08-E2E1DE4943FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4744499443df964c09fc7ab48131ab29ebe0d5a","datavalue":{"value":{"entity-type":"item","numeric-id":1401923,"id":"Q1401923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$3E803262-FFF2-4003-8D69-6EA1CE3D91E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$36A2F9A8-34E8-4B1E-852E-5AE8F802A621","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00da8c2f12be99ff7b97d3f72ebacffed8cbacef","datavalue":{"value":{"time":"+2003-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1401924$749B2B61-0971-478A-941F-7AAD884E5490","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401924$2F3C0D9B-F13C-4258-A1AB-B32D6EF0C8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401924$CB7E2290-7EB7-45D5-BDB0-1ADB12C9696C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a87e299e9a9383637b6735d23c03285e604e73eb","datavalue":{"value":"1967117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401924$8CA23452-3DC1-4EF6-AD50-74251622603A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0543c4625db5834434934c8e6330454e29f25af","datavalue":{"value":"Infinite state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401924$79FD0BE0-15EA-41CD-9EDC-39EBEE737C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dac02e334000774a8de0177326c6102c32e5d782","datavalue":{"value":"Abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401924$7725BB6E-E6FA-4B36-995B-ED57293D5A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0400bc91393808ea9f9a5823cf75a4f69998a29d","datavalue":{"value":"Symbolic representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401924$F8B42270-267A-44D9-85D6-7ADE2986629B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68f76a070260c64e314f860f5883c4f8a84ab3c5","datavalue":{"value":"Acceleration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401924$E968EA50-BB0D-4B9F-BE57-E003CE85A97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"172427e9a9b9c14d4ac732ea4690e520a05b9ab8","datavalue":{"value":"Protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401924$00840C20-3414-44FF-AE5F-6A8BBE4534B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff2b6bb9fd3d4c32aabad926e855c864a421e3d7","datavalue":{"value":"FIFO automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401924$EAAB652D-F808-4F7C-849C-61F866E6B65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a811ba293430b9bf43490e84ae8a2f435a09db82","datavalue":{"value":"Regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401924$FFCEE83E-2882-4982-99E0-B200DED47A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f9cbb4e97c2abd25a0f33631901672b08567211","datavalue":{"value":"Flatness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401924$7280870B-6999-48EA-8196-0550261F446F","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":"Q1401924$1FB51681-F949-4A91-A900-3899D1DBDA3F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d74eec834971a75b92aae841b2c83f9c1a887997","datavalue":{"value":{"entity-type":"item","numeric-id":1159661,"id":"Q1159661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$A9178373-CB21-4D3D-98DF-10E2EEEA789B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceb97ad59b8d3c6a4e23ab323f66864f1135a91a","datavalue":{"value":{"entity-type":"item","numeric-id":4571986,"id":"Q4571986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$AC9D9CE5-2BED-4CD7-BF22-B7F0B1E8F696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405e423365a63f056daf918c24255c84fbebdaed","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$87B3E484-822F-4502-8D0F-24054C19A8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$A182E7C0-79D6-44D5-BFAE-D44FE2EA3A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$60271385-E797-4E29-809E-3D687573700D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$F5AC81E9-008D-402C-9AE3-A51BEB5FCEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee9246f6d31df8e6ef9a2a4d199037289def53c","datavalue":{"value":{"entity-type":"item","numeric-id":2753678,"id":"Q2753678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$00242740-338F-4D30-B965-8470EE3A05D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acbe5a701cddd7194eb28385f2a16723583b00bd","datavalue":{"value":{"entity-type":"item","numeric-id":4270062,"id":"Q4270062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$54A10D06-8890-4727-B48B-299E09AE16F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18e28476bfef33ad1b2b85b86e71d14c7098ed3c","datavalue":{"value":{"entity-type":"item","numeric-id":4936148,"id":"Q4936148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$AD280E09-A4A2-44BA-B200-972F89BB8564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c809ec82f632b6c385400f097fa447743bc7db2a","datavalue":{"value":{"entity-type":"item","numeric-id":1173681,"id":"Q1173681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$86BBD64D-1689-4D1F-A645-27CCB0EEC635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6048740c6b53feadf78ac4ceb8bc7f8ec0f76d","datavalue":{"value":{"entity-type":"item","numeric-id":4730790,"id":"Q4730790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$24DD7585-2844-4002-BE92-25B03F57E3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$F8E0396C-1786-4662-A557-6ADBD7F20249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6facdbfd57f59bbf3890e7a6341ee0b6944e23fc","datavalue":{"value":{"entity-type":"item","numeric-id":4501546,"id":"Q4501546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$ECB9905B-8D72-4380-87AF-FF78808238D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127bd7b7b3fc8392a92b61a8258938e63daa67f5","datavalue":{"value":{"entity-type":"item","numeric-id":1378382,"id":"Q1378382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$EA0A4EA3-708C-4CBE-905A-C94C7D8B0646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"821ccbcc9d1ea492841ebfd063ad9534d2423518","datavalue":{"value":{"entity-type":"item","numeric-id":6044119,"id":"Q6044119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$EB8E308B-A829-4F39-8492-94078EB46940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd1e28e0e6c158c9409c70c379bfcc7c9840573","datavalue":{"value":{"entity-type":"item","numeric-id":5576254,"id":"Q5576254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$E13AA91B-7E20-4B17-A021-C53D3BC61303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acd1e2ae2bde1209612fa64c464d43a7fd5c9616","datavalue":{"value":{"entity-type":"item","numeric-id":3780411,"id":"Q3780411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$720D61EB-3392-4CB9-8ED4-C18F9C6EBFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d1dd86959a1ea1ee40a12186633e26200e20d30","datavalue":{"value":{"entity-type":"item","numeric-id":4501519,"id":"Q4501519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$884FA3FF-884D-42C8-9FE5-35753BBA1B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2a9c390298575061fb02cd95521e7691f4fa7dd","datavalue":{"value":{"entity-type":"item","numeric-id":1229100,"id":"Q1229100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$7B0A6152-BB59-4879-8010-9CCBF14FC023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a6c4f58f0ba4d30c576c1cecd76e1d83cedb04c","datavalue":{"value":{"entity-type":"item","numeric-id":685434,"id":"Q685434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$D1E8ABE9-8729-46DE-AC58-612044265217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$6E5D59CF-16C2-47F4-A4B4-BCB0EF25FAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad77e8a35a41b3668987f9431d96a3b3594b46ea","datavalue":{"value":{"entity-type":"item","numeric-id":1059399,"id":"Q1059399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$8C2E91A1-41EC-431C-8366-56BEC056258B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c8e3976d06a2193297492e1655d613441404546","datavalue":{"value":{"entity-type":"item","numeric-id":2704225,"id":"Q2704225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$738F42D7-E9F1-474A-8C55-66462E4ADF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$1C2F0B6C-EFF2-4E88-AF9F-F06B7798459E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401924$4B7E8466-9A63-401A-AA65-2DD8FF9D64F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f86d7d231ff54ec619f50876b16b8e55872e33c3","datavalue":{"value":{"entity-type":"item","numeric-id":4536629,"id":"Q4536629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"485c1f2fb341c8a36b29a192afbb5fa8e90eeb66","datavalue":{"value":{"amount":"+0.9770209193229676","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":"Q1401924$223D4A8C-E966-4664-B08F-CE491D70AB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"378595f430911014dd0c0ff3ddb03eb0338a198c","datavalue":{"value":{"entity-type":"item","numeric-id":4571986,"id":"Q4571986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bee8e0adf0eeabe8f190e3d356586954191d4eef","datavalue":{"value":{"amount":"+0.7343347668647766","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":"Q1401924$99C006FF-1512-4D9E-A163-B2D707C4974C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de754979d8ed4a332bfa07f8950b63fa1e5f35b","datavalue":{"value":{"entity-type":"item","numeric-id":5429319,"id":"Q5429319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3c3abfe52531aa53192300d2afe4e9e7cb11628","datavalue":{"value":{"amount":"+0.7333124876022339","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":"Q1401924$44D6A404-3D2D-45BB-9E2F-664C8C205AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c00cae722b12f7a01cc12312fec47841441c4121","datavalue":{"value":{"entity-type":"item","numeric-id":1960526,"id":"Q1960526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b4478e351f583a09fec15779eb829426d7b3b64","datavalue":{"value":{"amount":"+0.7304118275642395","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":"Q1401924$CCC4A84D-992D-4375-B481-BCFE69E5A257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"960641a2e77a7780993a137730c7d0d39f26f92f","datavalue":{"value":{"entity-type":"item","numeric-id":5900680,"id":"Q5900680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b4478e351f583a09fec15779eb829426d7b3b64","datavalue":{"value":{"amount":"+0.7304118275642395","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":"Q1401924$9E3C921A-5641-4934-89E5-B638CDD289E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1401924","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1401924"}}}}}