{"entities":{"Q2946655":{"pageid":2957375,"ns":120,"title":"Item:Q2946655","lastrevid":85133507,"modified":"2026-06-03T06:00:27Z","type":"item","id":"Q2946655","labels":{"en":{"language":"en","value":"Reachability problems in piecewise FIFO systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483161"}},"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":"Q2946655$C3A35E54-9E0B-4086-8A5F-08EA53707E72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2434ac384fa230f70a0776dbcef28f9c8839fbda","datavalue":{"value":{"text":"Reachability Problems in Piecewise FIFO Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946655$2F6A0EC2-8189-4AEA-A711-76F8F7447190","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afaf1545379e924c5ff650f399c33bdcc6722e39","datavalue":{"value":"1351.68161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946655$5C35A60E-6F22-44C2-960B-41631CFCD719","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ad2d8729025e3b7ae700f8d1dc99e5b0e9f3464","datavalue":{"value":"10.1145/2071368.2071375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946655$21A46A44-79EB-4A07-9BF7-F2D20155150E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6a7cb3c5493905f4f11b4b43b70229bb4854ee3","datavalue":{"value":{"entity-type":"item","numeric-id":2048939,"id":"Q2048939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946655$D55A9C70-3D74-4CE8-A25B-9F2A92FFF754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"697eb087dc816293f4ade2b72dca7f3d4888f3b9","datavalue":{"value":{"entity-type":"item","numeric-id":246144,"id":"Q246144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946655$027AF6E3-993D-40F5-8517-7FC17F1C8601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cfdd5324f28bd93fdc2104d928c33c15fc55056","datavalue":{"value":{"entity-type":"item","numeric-id":815003,"id":"Q815003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946655$CA01DF12-FF49-4BDF-8639-DC72EE021251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5550b21aee483dbb24692a75c93bc496cb05eeac","datavalue":{"value":{"entity-type":"item","numeric-id":453515,"id":"Q453515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946655$14CD7452-AA61-4E85-9335-3125A71F79E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946655$0A73F75D-2261-4BFD-A882-F4F1B7B4CC80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946655$E22B35F4-9F2D-40F7-8B7F-DB528B4472DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946655$AD45D15F-B244-4666-920A-8366CED39BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946655$F00C9A5F-1541-47C9-A516-7D460B8A51D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c9c93989b6e48c9817a36b36b57609609279eef","datavalue":{"value":"6483161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946655$5EE78F3E-1AC9-40CD-93EB-528D9BAC9135","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44677fd0d8c1b7b71f5dfaa7bf9cd3a782c7f383","datavalue":{"value":"FIFO systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946655$8691F930-A202-486B-9B36-EC1C2271FD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33091d86905202af08d9012d6e5fba9f5ed72f62","datavalue":{"value":"infinite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946655$1050E007-EFBE-492C-A263-4EC06D983E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946655$E1DDFAC2-C03A-40F2-9E48-56113D439D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946655$94160CE9-C494-4D0B-B81A-1C1FD694A8A5","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":"Q2946655$53C0CC03-A5F8-4A42-8E76-B5525A998B58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13a33204a2c957262a884a6dd59e266d76829131","datavalue":{"value":"https://doi.org/10.1145/2071368.2071375","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946655$4DF5450B-3408-4DD1-A687-5ACEAD1E0348","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd7378509a3e18de5216adfed7688957c11770bb","datavalue":{"value":"W2139289843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946655$5317C17F-CCD6-4E95-BFF8-8E27A7A1258E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35dbcc99a7fe7d595c65c94b5000a787ee1d5253","datavalue":{"value":{"entity-type":"item","numeric-id":5898622,"id":"Q5898622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cafdfa93a8bc633c01866b256cd5babeb9facfe","datavalue":{"value":{"amount":"+0.8636460900306702","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":"Q2946655$E2C846CB-78E3-4824-80D0-DC41D0A8CF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1e1de48eb9368b976fa9d6bf8dad0127564eb93","datavalue":{"value":{"entity-type":"item","numeric-id":2848411,"id":"Q2848411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c8a542135698eef1a5a1a428648d69730dd7144","datavalue":{"value":{"amount":"+0.8020409941673279","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":"Q2946655$810D5C12-EF27-46BC-921B-304011FC8CCB","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":"9c3202f7166535b47612d9293671b8d01580dc99","datavalue":{"value":{"amount":"+0.7781018614768982","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":"Q2946655$D33AB94D-D83A-4D3C-BEDE-283BEE5431CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b5fa1af277d99d56ea61a4c7f0f751c5a18ebb8","datavalue":{"value":{"entity-type":"item","numeric-id":1059399,"id":"Q1059399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c3202f7166535b47612d9293671b8d01580dc99","datavalue":{"value":{"amount":"+0.7781018614768982","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":"Q2946655$CBC4A049-3274-4D0A-B566-517808DED35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb492f3a744c276b7ffd4c481bb1baf3a481b0f","datavalue":{"value":{"entity-type":"item","numeric-id":5894957,"id":"Q5894957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0310b3fbd4d42765896c0eca8212fbbdba36f8f","datavalue":{"value":{"amount":"+0.7697954773902893","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":"Q2946655$9ECAA998-78A2-4251-931E-251B24D8725C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reachability problems in piecewise FIFO systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reachability_problems_in_piecewise_FIFO_systems"}}}}}