{"entities":{"Q1361243":{"pageid":1371982,"ns":120,"title":"Item:Q1361243","lastrevid":67238400,"modified":"2026-04-12T16:17:23Z","type":"item","id":"Q1361243","labels":{"en":{"language":"en","value":"Completeness results for linear logic on Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1038659"}},"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":"Q1361243$C75C0E6E-0467-4BF6-BE0A-E74CC142DA58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cb84cfb425e1e2a55ea9192fa4b4858249a9979","datavalue":{"value":{"text":"Completeness results for linear logic on Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1361243$6E71E5C5-0D39-4C34-BC74-EACC3A10D877","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2e7df96596f6ce8095ea6060c2fc3b120bcdb9e","datavalue":{"value":"0873.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361243$77399C08-4556-4314-A27D-A4035256A92C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e423c607539927aeb297be92eb9f01600659d628","datavalue":{"value":"10.1016/S0168-0072(96)00024-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361243$9C4E0577-3C2A-4323-B659-96C886B4E563","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64018efeb29b350ebfaa2b867dd3c96719c3fb86","datavalue":{"value":{"entity-type":"item","numeric-id":1361242,"id":"Q1361242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361243$610CF3AE-1F2E-4381-BD2B-48E72426993A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a31faab77501481f5eeb576293dcd59bdbba3a61","datavalue":{"value":{"entity-type":"item","numeric-id":265794,"id":"Q265794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361243$FEC3EE25-5301-4926-AA9C-0832CB72E08C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361243$E4755F8C-642B-4314-B838-B5CDA32E49C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412f7a31e42853d129270920f950562a85c36f4d","datavalue":{"value":{"time":"+1997-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1361243$4BB44DFA-9335-4F3D-A4AA-054B5A6AFF3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361243$F8FC95E0-6FB9-4C23-929A-6762B29BB15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361243$81910082-F666-44B4-A9E6-BEE89188D280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361243$A350357B-A19E-4CC1-85DE-EE48801B731A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b3ac1f8bb556dd6e22ee74123e998ffb59389ac","datavalue":{"value":"1038659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361243$DBC9A2B2-030A-4954-8BC3-917DC9F0465A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361243$476ECE4B-8A22-4E4F-8A04-8CE25CE750AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc14c2c1888e75c0af87202101bdf748b1ce127a","datavalue":{"value":"Petri net semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361243$86DDB17F-771C-4719-A11D-ACBAA6638585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d9ca4c74f2a1654c41dd63a805fadad56c0db56","datavalue":{"value":"fragments of linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361243$9D0B68BE-5293-4DCE-888A-C0947A533BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc379d4a5dc59b94051dc9693c948e5879618dfa","datavalue":{"value":"intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361243$BF9D6E6B-4CEC-4762-BFC2-720618E09731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4ddf3a6efb0adc1b91e3adda82fabb2657cf513","datavalue":{"value":"atomic nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361243$7628320D-92B1-4774-8FE5-81D1CFA0836E","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":"Q1361243$0091F4F0-584E-48C6-805B-BF2B03F13F5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"acf8a95896f37161401735e1f8057ad914abc271","datavalue":{"value":{"entity-type":"item","numeric-id":4027625,"id":"Q4027625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361243$73613567-7D23-4D9E-92E4-61BF41C73A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361243$32282AAC-A154-41D9-A1F4-321AE1200557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54351e142ba78301c80d7c3516f9734aa8ddee58","datavalue":{"value":{"entity-type":"item","numeric-id":3791120,"id":"Q3791120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361243$9F416037-2DF7-4079-9F49-F7960F962B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb0cef3710adbd86fd4521d1c8531cd34e84dd13","datavalue":{"value":{"entity-type":"item","numeric-id":1105351,"id":"Q1105351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361243$400DE935-426A-4EDA-9041-2CACD9EF6B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c5f6d71cef6d7cafb45e99413ff3536d0e020af","datavalue":{"value":{"entity-type":"item","numeric-id":4016733,"id":"Q4016733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361243$F3EB4FB5-0B0F-44C9-B59B-E15AF59F3A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178038c420b9380f89f1a3e49617f7b6840655e2","datavalue":{"value":{"entity-type":"item","numeric-id":3670575,"id":"Q3670575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361243$00FED9D5-91C2-4964-A805-FE60482757B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fd7a09d6986aaf5d251e3077184538a502ebb76","datavalue":{"value":{"entity-type":"item","numeric-id":3197878,"id":"Q3197878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361243$97DD4852-BDCE-47BD-8938-A7D370B527DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422cef0c9a9929cf6babf24e2aeeba55fa17104","datavalue":{"value":{"entity-type":"item","numeric-id":3478401,"id":"Q3478401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361243$D7E76EE6-12E5-4511-861A-94764DDD144A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4ef312d5762ac826bbc74b18796b3d73b6b0eb0","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(96)00024-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1361243$527247D6-1E0B-4303-AE67-4F323A145C7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fa7a3b38e72c91e2fa4f928df5704ee6acf4f73","datavalue":{"value":"W1990495483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361243$E26251DA-233E-4C34-B7D3-B66CE1479CF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c841724fa813bce89482a6fe7f7ad45c030d218","datavalue":{"value":{"entity-type":"item","numeric-id":2743640,"id":"Q2743640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c53065e151d54707a86e978685493dab5d15594","datavalue":{"value":{"amount":"+0.9299644231796264","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":"Q1361243$8D26799C-FDCA-45D0-A93D-024C3D8B7A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92ad6bc08dd970785cf658eb046639b76bd87cf2","datavalue":{"value":{"entity-type":"item","numeric-id":4027625,"id":"Q4027625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"621b227e2ea67654f622137d2b45ca7d6f0de68c","datavalue":{"value":{"amount":"+0.8532747626304626","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":"Q1361243$CD291A93-2F70-45EA-B361-902D86BB1E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67c7d845ea924732a87d2f1d2a1d25c95a8028e","datavalue":{"value":{"entity-type":"item","numeric-id":1326780,"id":"Q1326780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4b2453384c51cd476efbe16e360bc93014a420e","datavalue":{"value":{"amount":"+0.8370773196220398","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":"Q1361243$019DD291-5EB7-498B-97F0-08F1657D3A55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness results for linear logic on Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_results_for_linear_logic_on_Petri_nets"}}}}}