{"entities":{"Q5129947":{"pageid":7159521,"ns":120,"title":"Item:Q5129947","lastrevid":55963330,"modified":"2026-02-21T13:45:18Z","type":"item","id":"Q5129947","labels":{"en":{"language":"en","value":"Verification of flat FIFO systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7269251"}},"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":"Q5129947$3A502A57-4B43-4FE9-9823-B07F86B2C8A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"36974ca48c1ff3caa1463aa00972066da924c035","datavalue":{"value":{"entity-type":"item","numeric-id":1949743,"id":"Q1949743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129947$D76ED9EB-3E0C-4CF1-91A1-EF1690DBBE1F","rank":"normal"},{"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":"Q5129947$993A600A-39D9-4973-A2C3-FB96B8D6F80D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9959762f316e1937fbafa8ffb464ca9ed62f4f3f","datavalue":{"value":{"time":"+2020-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5129947$799C30A5-A973-4771-BAD8-96AB8801143A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a6a7322601c027b8366848bfd882520b6835520","datavalue":{"value":"https://arxiv.org/abs/1908.07282","type":"string"},"datatype":"url"},"type":"statement","id":"Q5129947$1C51608C-0359-46A4-AC94-8823C21D1E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"446720c95915532a4baab273d8286f11554a60f0","datavalue":{"value":"https://lmcs.episciences.org/6839","type":"string"},"datatype":"url"},"type":"statement","id":"Q5129947$177D6B5B-CD2D-428D-860A-019400B48D74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5129947$E8EA9E4F-1309-41C0-BF6E-76ABA18F3F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5129947$CE8E60D5-A3EA-4A56-81FB-0596369E8EB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d754eebad8902b7d711636eff7c945c79a81fb61","datavalue":{"value":"7269251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5129947$4545E9F4-027B-4FFB-8184-545689C8106A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"910c7c801380f3b2b6eec141b602ec6470850a94","datavalue":{"value":"infinite state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5129947$DA13FE5F-C7A4-45A8-85D9-1473EDEAC972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc476a79e0ca195a72beb9621c252e886711a79e","datavalue":{"value":"FIFO","type":"string"},"datatype":"string"},"type":"statement","id":"Q5129947$FB58748E-BD2F-4029-8608-2EF353B709C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c053a6b16bc6ce5ed758dda423f5a33eaf6c684","datavalue":{"value":"counters","type":"string"},"datatype":"string"},"type":"statement","id":"Q5129947$15576845-82FB-4A70-86CB-26CF815F5A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9af7578f1c4fefac4f105972ff08415569b4f975","datavalue":{"value":"flat machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5129947$AE303059-320B-4D94-BF5F-C9EE32B4E23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5129947$E591D8D6-CBE5-4603-9216-F315A0695E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5129947$99A7AC2E-EC30-4CE8-86B9-E399A51FDDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5129947$FCE98001-CD71-41B7-A875-048315041E7C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb600505726038dde1f7205c06067efdfd1bd64e","datavalue":{"value":{"entity-type":"item","numeric-id":14127,"id":"Q14127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129947$E40962D5-9CA4-4F71-A03C-303026B48EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fedb99aafb4892a69662c5ebaffc64ecb6451370","datavalue":{"value":{"entity-type":"item","numeric-id":16326,"id":"Q16326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129947$037FAAC2-B44C-4826-B6EE-20C81C307D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce91c9303e62db122d4c0c98d17eb9dbb9274541","datavalue":{"value":{"entity-type":"item","numeric-id":33078,"id":"Q33078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129947$EBD9DF61-ED5C-43CA-89F8-499C60125FC4","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":"Q5129947$96E72A73-ADC7-4555-B595-9557D71B4B3B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7a03499c973a6a589eb84a1714e84d997be7c4","datavalue":{"value":{"entity-type":"item","numeric-id":1878928,"id":"Q1878928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129947$720CB25E-C765-4779-8036-032CF269391F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95df9aedbd7e5e563158d002f148b701b2fd0480","datavalue":{"value":{"entity-type":"item","numeric-id":4551165,"id":"Q4551165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129947$B14693B6-7C08-4B70-9C28-19C1B8C17DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6677abc0859eba7c711819fb7971318ff9197f99","datavalue":{"value":{"entity-type":"item","numeric-id":5491888,"id":"Q5491888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129947$72560A56-6687-443F-8140-8C0403D445A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca1f7c77caeeaf6f88e52136397f517769aac8c9","datavalue":{"value":{"entity-type":"item","numeric-id":1960526,"id":"Q1960526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129947$4D1617D6-7E00-41DF-9B60-7C41B874ACDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af226a51210baf6f7a5cb7d32d87935921a884af","datavalue":{"value":{"entity-type":"item","numeric-id":4223064,"id":"Q4223064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129947$9B709F4C-2A26-4A34-9C3D-99BFBFCC374E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abcff6cd19fe8b80835781dc513a44f3b9342311","datavalue":{"value":{"entity-type":"item","numeric-id":2938069,"id":"Q2938069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129947$B2B89027-79D1-4325-B19D-C7E5D52629FB","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":"Q5129947$711E0718-213B-462A-827B-8D60BDF1C2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"133cef3c04c3f16ca962ade1c7f308987e41e462","datavalue":{"value":{"entity-type":"item","numeric-id":2767175,"id":"Q2767175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129947$D4676D29-FE48-441F-82A6-5E507D9CF2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cbb5fc0f424362cd91e219da1f268b5db43f7a4","datavalue":{"value":{"entity-type":"item","numeric-id":2573635,"id":"Q2573635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129947$38AF0215-4CE2-4A39-BE67-A9B14854130E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b6515ca4269b37606c24561d36ed5ac5a3ca7d","datavalue":{"value":{"entity-type":"item","numeric-id":5111643,"id":"Q5111643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129947$437FDDC0-E71B-4417-9750-31E3E56E39E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72b05a0e18c45dc7f52afee46ef0cdbeb85b9c83","datavalue":{"value":{"entity-type":"item","numeric-id":3522931,"id":"Q3522931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129947$98F7EEFF-5617-42DB-9390-44C3F8D7EB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"929af19db05d0ac71649bb087b8f378178cc8090","datavalue":{"value":{"entity-type":"item","numeric-id":5327431,"id":"Q5327431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129947$B9EBB654-97E1-4D9C-8812-9A8172832B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdad4592047f5ca50ebdd18fa5d3aaef81428093","datavalue":{"value":{"entity-type":"item","numeric-id":2346416,"id":"Q2346416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129947$3520D177-7FA8-43D0-B367-A6275C66211F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f8c68f6ccbf13c46f9f52bbeb1df847a2fc02ca","datavalue":{"value":{"entity-type":"item","numeric-id":2901199,"id":"Q2901199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129947$101AA32B-E27F-4592-9385-68301CA6E699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83b590da392fcf37a0113bc312f9e705ae4466e8","datavalue":{"value":{"entity-type":"item","numeric-id":3460419,"id":"Q3460419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129947$59D7EBF0-5F68-4A96-9DE9-235E2A072FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27fa4157a77401eaaa0f2c0bc81e465456535a04","datavalue":{"value":{"entity-type":"item","numeric-id":2986805,"id":"Q2986805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129947$D4BE721D-DCA6-4B79-BBEE-9C1668BC04DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec887c57f9a5fecc6bd981528afceaade60dee98","datavalue":{"value":{"entity-type":"item","numeric-id":3166218,"id":"Q3166218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129947$19C62E63-41B5-40F3-BAC7-E903022B8361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5ff48f0715989ad932ca30e64ba024686d2f707","datavalue":{"value":{"entity-type":"item","numeric-id":1401924,"id":"Q1401924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129947$785ECED9-2CE5-4C17-868E-AAAE21F61A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f092966db210c9a9c9270bd8c548e203adf45991","datavalue":{"value":{"entity-type":"item","numeric-id":3504343,"id":"Q3504343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129947$B0BF03E7-D5DE-421F-A4B7-394407B505FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7aef6f2134ae696f673d97651fc9e54d4860487","datavalue":{"value":{"entity-type":"item","numeric-id":1990502,"id":"Q1990502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129947$CD0067EA-DF29-4591-840F-9327CFECCFF8","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":"Q5129947$8B1B01BE-493D-4787-A908-A885AFD0DF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b4eae7493d8f6c982d7549031f59a2b3902483","datavalue":{"value":{"entity-type":"item","numeric-id":3922169,"id":"Q3922169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129947$36A927DE-A7E7-4E74-A4E0-4727AAEAEFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f013092dcf4a4c975cb6c3aac949b3d954ccca","datavalue":{"value":{"entity-type":"item","numeric-id":2828216,"id":"Q2828216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129947$87394F9F-43FD-40A8-9921-BC13B93FDCAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1717a9c533ee7989493146c89f5c35c556b12957","datavalue":{"value":{"entity-type":"item","numeric-id":5875373,"id":"Q5875373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1631f9af98209b98a62148c3bcbba35ab1600fd9","datavalue":{"value":{"amount":"+0.9612459540367126","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":"Q5129947$CC0B8550-0055-4207-8D52-C931B0DCDFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0109998c3a4caa06e66c5ba7bd8b8e44a9ba7422","datavalue":{"value":{"entity-type":"item","numeric-id":5028474,"id":"Q5028474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc89588f109a2c667a48daf301fae2d83c3b260d","datavalue":{"value":{"amount":"+0.8228598237037659","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":"Q5129947$05BD71CE-D494-4331-A823-DF18DDDC3DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dae066feb7f7afe258f6f579fb51b07e367a70bf","datavalue":{"value":{"entity-type":"item","numeric-id":3021942,"id":"Q3021942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f70fbeb1d13af8ae0f2df5c69453c7f091a9dbf","datavalue":{"value":{"amount":"+0.7603450417518616","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":"Q5129947$51301B02-EA44-4955-B02F-90FBE2C5C20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ccf8a694514b0676771a5c550e3d57d964ad47","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e4c9add4bfbeb7cd70ca2777ddf8d73ad93b362","datavalue":{"value":{"amount":"+0.74937903881073","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":"Q5129947$61D4977E-9C78-435C-B419-555491CB5707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf37580c23209469b489f72776ed474f89593902","datavalue":{"value":{"entity-type":"item","numeric-id":5327431,"id":"Q5327431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3599cf130e4978aecd4b04609b870bb282f94131","datavalue":{"value":{"amount":"+0.7478009462356567","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":"Q5129947$B67A7A01-222F-4406-81A3-6C7BCC5C7192","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5129947","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5129947"}}}}}