{"entities":{"Q2787436":{"pageid":2798174,"ns":120,"title":"Item:Q2787436","lastrevid":83425328,"modified":"2026-05-07T07:48:54Z","type":"item","id":"Q2787436","labels":{"en":{"language":"en","value":"MSO logic and the partial order semantics of place/transition-nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6545737"}},"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":"Q2787436$17BA976F-DCED-4DD6-92A0-CC882C10EE1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec505cbfaf497bdef19a2765172fdc0732eda6b8","datavalue":{"value":{"text":"MSO Logic and the Partial Order Semantics of Place/Transition-Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2787436$0ED23299-E7A8-4DE2-8E94-9928452F1CC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"191d6547597f17c7f70ed8cf390a24949139f73a","datavalue":{"value":"1471.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787436$CE3D698A-3CC6-4F8A-A7EA-F4811CEFBC3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09eeb2f4ff94f7699bbea41217ec5c8e825c61bf","datavalue":{"value":"10.1007/978-3-319-25150-9_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787436$B1C5F3EF-77D6-4ED9-AC92-1CF185A2DD9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc0bfdfddc4bf485b2a98144122fa8a6b8382026","datavalue":{"value":{"entity-type":"item","numeric-id":266805,"id":"Q266805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787436$DDE29435-7EF3-4AFE-AFE5-D70EFE4D20A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"29f4257b03367012cbb1c618842dfbd25e3bc715","datavalue":{"value":{"entity-type":"item","numeric-id":2787411,"id":"Q2787411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787436$B383256B-5B8C-42BD-ABE4-A4EB74474871","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b711090eb2dd20f1569e188bf3cf69015580f99","datavalue":{"value":{"time":"+2016-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2787436$8527E6E3-DD34-4566-AFC7-A95B9B0CC0B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787436$ACC77CCE-1CC7-4E4B-81EE-3E8FC07350A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787436$98489063-6842-4FC4-8028-CC677C88374B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787436$C28E079C-1B5D-4C56-84BC-F1AC261BA42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787436$FEE1C7BF-4A83-4CEA-85B3-BC458F6765D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b64823049b22104e72e1875d43edecdb65c46e7","datavalue":{"value":"6545737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787436$C7651689-CF67-428E-907E-9998C1C7210D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2787436$8B7330B3-BE94-4B48-96D6-39A4708F7977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2787436$9B3ADF27-E203-4B22-8FCF-D24C97A07B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c9002db8778fbc177cd4b0c252f6c73c65a3991","datavalue":{"value":"slice languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2787436$4CC241D3-B152-4C51-A3F4-B917589028A9","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":"Q2787436$C8FCFB3D-D177-40D4-8B73-E5279511BD4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8614c08a50f649cf1dbd88c8401000d4fde00a49","datavalue":{"value":"https://doi.org/10.1007/978-3-319-25150-9_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2787436$6DBF58B4-6BB8-4156-95B7-71C715A3CB97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b061160330a1d3176b965b006356a3589f61bf4","datavalue":{"value":"W2199397425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787436$9E24F3E6-9988-46D6-B151-256E33179EB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f67b5e6fb6db6800b4d15322b2e37346a1d3584","datavalue":{"value":{"entity-type":"item","numeric-id":3602749,"id":"Q3602749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6293cedb01fdb5b9893ea844fe1d096164b926b","datavalue":{"value":{"amount":"+0.7893829941749573","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":"Q2787436$A9CF2EDF-4845-435C-93BC-402FEE6E6E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc0d696a66f97042ca08c1e39de04a7a14861572","datavalue":{"value":{"entity-type":"item","numeric-id":3599087,"id":"Q3599087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0b6c974e53bafe39d6d98d0baa29fa55c2ea9a2","datavalue":{"value":{"amount":"+0.7768123745918274","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":"Q2787436$1D33E297-90ED-4908-B2A1-27ABB4FDE1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d204e1d50f61618ab13d7755bc0d467791daeb7e","datavalue":{"value":{"entity-type":"item","numeric-id":2820695,"id":"Q2820695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02632807914aa7f1daed30a414691f6d4b8fce8a","datavalue":{"value":{"amount":"+0.7685583829879761","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":"Q2787436$21171D9C-5ADC-48B5-98EA-A1BFC850F97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"635afd6ebaa026241eb2d898096a015e1cba2025","datavalue":{"value":{"entity-type":"item","numeric-id":6487344,"id":"Q6487344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0faa5a611418feb5fc1a47fc9d5dbef92d0d4eed","datavalue":{"value":{"amount":"+0.7673131823539734","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":"Q2787436$E45AE03B-ABF4-4C59-9C95-3A93B9195313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf95f80282482336d23ca31f801b20ed3632ca06","datavalue":{"value":{"entity-type":"item","numeric-id":911779,"id":"Q911779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b585aa5d075f30bb38aac87bda26c3655aacc5d8","datavalue":{"value":{"amount":"+0.7663654088973999","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":"Q2787436$067845E9-F0EF-45AA-9834-6E203291AA11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MSO logic and the partial order semantics of place/transition-nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/MSO_logic_and_the_partial_order_semantics_of_place/transition-nets"}}}}}