{"entities":{"Q5212020":{"pageid":7241591,"ns":120,"title":"Item:Q5212020","lastrevid":94571726,"modified":"2026-06-05T07:09:33Z","type":"item","id":"Q5212020","labels":{"en":{"language":"en","value":"Operational semantics, interval orders and sequences of antichains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7157377"}},"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":"Q5212020$99C21D90-6127-42D5-8B5D-E33D28F46602","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d483db01d9358d1f25a09a654d16cbf7b18b5988","datavalue":{"value":{"text":"Operational Semantics, Interval Orders and Sequences of Antichains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5212020$A1BAE280-6FDB-4BC1-962B-95FD4EFA20BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9d82f510300840b7eb9d472a0b934d7c19ff2b1","datavalue":{"value":"1428.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212020$96B2FD72-AAFE-46C3-B33B-2D30AB53E69B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24ac6106f263918856296dfde51957424aec2157","datavalue":{"value":"10.3233/FI-2019-1838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212020$0B4DFFD0-3064-46B5-BF4F-705C225A735B","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":"Q5212020$CF93E17D-8984-4BED-BF55-0EF9DB93B736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cde96b44d9cad9ac40bb3f7dd714b330c99ed5d","datavalue":{"value":{"entity-type":"item","numeric-id":218985,"id":"Q218985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212020$9F7A5A91-3589-4279-B150-81257B063395","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212020$EA602E22-5227-452D-AEC5-5EDC4A8DA82C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77882ece4e85a0ce08660c13f940a3d72965a05b","datavalue":{"value":{"time":"+2020-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5212020$10683E3F-C978-46E1-9121-25834D3E4331","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212020$AAAE6EFA-A59B-4124-9FF7-0259E2B1E71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212020$CC73D927-A833-4802-8A80-B2584B52531C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"772bc2082754a18a2c6818535830526cb780e555","datavalue":{"value":"7157377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212020$859D4D5E-6D6E-4F8D-9905-0FF40FC70C94","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc02b93f05817810227e222ee92dbaee102a4247","datavalue":{"value":"interval order","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212020$01917591-1CC4-40F4-BF74-74CA625AE55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212020$062F644F-92DC-417E-898B-02A550B46B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212020$0B643AE3-82D6-4961-B59B-7E700E0EC087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8a4ad8aeb9c60c190061d2a6fccba28265452c8","datavalue":{"value":"sequence of maximal antichains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212020$572BDF7A-3D5D-4DA2-856D-CE15FDE40A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c019d35aea297dec3ae75cd09543eea71b0ea988","datavalue":{"value":"interval sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212020$BB0ADFD1-4D7B-47CE-82F6-04C30FB4FB2F","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":"Q5212020$BB41B1C7-967D-4259-B65A-D0E86082E25B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96d92c3da360a250a2b5cfa685e881a27f347bf1","datavalue":{"value":{"entity-type":"item","numeric-id":2280190,"id":"Q2280190"},"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":"Q5212020$FE3A8223-3B66-4D86-AFC9-3EF4C6D60E56","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":"f04577534d1806b79843add564845d719bd1b36f","datavalue":{"value":{"amount":"+0.8019517064094543","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":"Q5212020$B524023E-A842-4296-9AEC-BC97085F7D4C","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":"9944b52fa9c952a582fb0ee13353731613ea3a13","datavalue":{"value":{"amount":"+0.7966741919517517","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":"Q5212020$0B82A27C-0913-4F62-9A92-F7CC76C9F2E1","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":"c074a7905e404f72e48efa3a33a2d32a84a30831","datavalue":{"value":{"amount":"+0.7365922331809998","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":"Q5212020$D240BDF5-B3DA-4DB0-AB20-1A9DAF735AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39f21d5b1caf2026ed3486019c0cdd06bb1b5732","datavalue":{"value":{"entity-type":"item","numeric-id":3626683,"id":"Q3626683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0367cba3393478559cc5cf55b4cedeb2e946ac4c","datavalue":{"value":{"amount":"+0.7360610365867615","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":"Q5212020$353A88F0-EF36-42C5-8E7A-B66BC209D4E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Operational semantics, interval orders and sequences of antichains","badges":[]}}}}}