{"entities":{"Q2280190":{"pageid":2290933,"ns":120,"title":"Item:Q2280190","lastrevid":73028427,"modified":"2026-04-14T09:30:22Z","type":"item","id":"Q2280190","labels":{"en":{"language":"en","value":"Modeling operational semantics with interval orders represented by sequences of antichains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7144262"}},"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":"Q2280190$05BF1C25-3DF5-4A17-800B-C62F7C5A34F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17b7bd22d05f12b083552d0de20152102921ce8a","datavalue":{"value":{"text":"Modeling operational semantics with interval orders represented by sequences of antichains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2280190$DD86AAE1-B37E-4721-9896-966D0F0165D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15cc964337d73863da16a93f88b0ec4929fd58e4","datavalue":{"value":"1427.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280190$CAE15152-F70F-4A2D-A949-98DF0D146865","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8825b07aba8030b79b19d2658dab32c1ad74c9f5","datavalue":{"value":"10.1007/978-3-319-91268-4_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280190$3666A1B7-2CD3-4EE3-BE0F-6C21F31ABDE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1f3a984beabc22332e769fad7e0cad02f7ca29d","datavalue":{"value":{"entity-type":"item","numeric-id":169677,"id":"Q169677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280190$7FFEDADB-E82A-41C1-AB57-395C8EBEA2FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f6772b50db402e319131e91836e24f594dd3ca2","datavalue":{"value":{"time":"+2019-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2280190$F94D1E4B-D25F-40D1-8DE6-D72C6A32FAD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280190$9070CD6A-AF7F-4F66-B892-B29B442400FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280190$E13C0EED-EE29-4A58-A2AC-558810DABB17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12980a6594a5cd028d6a39864263d3ccb875d5c4","datavalue":{"value":"7144262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280190$14CB8FC2-5DB1-4A1D-A512-65AD4D44068F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62d18420b0848a4c0300452d10ba1f75d74dc0e1","datavalue":{"value":"interval orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280190$ACC0EC2C-25EE-4431-B3CF-20606E001597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280190$96B8A7B6-2B78-445B-8245-7037A1C2E2DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302a1334ae96bb3022d94da4630306c0cd0e5ec1","datavalue":{"value":"elementary inhibitor nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280190$09762975-3704-4C07-B8E8-43B376C5F111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5e417a03e3c18afa3db020f9c04600b47e3d148","datavalue":{"value":"sequences of antichains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280190$B856B464-3683-4059-B1BB-C4E4A2AA65AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc43428acdc1324feb7a0dd9c29d4095e2b39584","datavalue":{"value":"interval sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280190$CE7488DD-4689-4CC1-B1D2-500A5ADF0DB3","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":"Q2280190$31A31F09-5A31-469E-A1A7-A066ABF018F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd5bfa78f849b0f7c489a3b1d311755fa2349761","datavalue":{"value":"https://doi.org/10.1007/978-3-319-91268-4_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2280190$07889096-A048-4D3F-BCEA-17EECCE646D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5aa9b659043c1c4b4f0022e3f64ae874610233e8","datavalue":{"value":"W2799689109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280190$F6871FBC-D0F1-43C0-A5EA-E024E2C1FEBB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f4679e7d026ea83a7d7eec1a506d23997e110b","datavalue":{"value":{"entity-type":"item","numeric-id":5212020,"id":"Q5212020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70704262b6bf982194b614439ca73f32db57895e","datavalue":{"value":{"amount":"+0.9354386925697328","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":"Q2280190$6447D44A-ABA3-4FDB-86B2-EFBE451AFBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41b1a562614c78f82999413cac9bc03f3cd5aaa1","datavalue":{"value":{"entity-type":"item","numeric-id":2941144,"id":"Q2941144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecbab39186973f112413c37e5bf31c161da50ff3","datavalue":{"value":{"amount":"+0.7789116501808167","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":"Q2280190$D2520DC6-F727-4BBF-8111-7D957B678E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86252b9d4d861a49b9ff555c09c6564c296ce3e6","datavalue":{"value":{"entity-type":"item","numeric-id":1749475,"id":"Q1749475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2021de237c847563b54b0c0a80f07fc329230669","datavalue":{"value":{"amount":"+0.7734795808792114","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":"Q2280190$8E61F797-6DA0-4D85-86B3-FC22CA4C1344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24fe28ac4b819e9a231c6918d8d96e61fb4d548b","datavalue":{"value":{"entity-type":"item","numeric-id":515576,"id":"Q515576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85853851f2541bc2f255fc82f07c158392866769","datavalue":{"value":{"amount":"+0.7534281015396118","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":"Q2280190$BFE74C57-C651-4D56-B030-CFD2395D34C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d24c0de91c8c3aacce6b8a571f9c00433791197","datavalue":{"value":{"entity-type":"item","numeric-id":4858946,"id":"Q4858946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"069624671986ae14b79b1dc353fc226429e61c1e","datavalue":{"value":{"amount":"+0.723200261592865","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":"Q2280190$DE954730-04F0-492E-923E-33CD9D41C03B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modeling operational semantics with interval orders represented by sequences of antichains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modeling_operational_semantics_with_interval_orders_represented_by_sequences_of_antichains"}}}}}