{"entities":{"Q939167":{"pageid":941015,"ns":120,"title":"Item:Q939167","lastrevid":65495064,"modified":"2026-04-12T02:59:32Z","type":"item","id":"Q939167","labels":{"en":{"language":"en","value":"Reachability analysis of fragments of mobile ambients in AC term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5314961"}},"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":"Q939167$7D832B3E-8EDE-42FC-9DCE-B653049ED981","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07b83689a06257edcd0e521d1a131e9c7c2f418e","datavalue":{"value":{"text":"Reachability analysis of fragments of mobile ambients in AC term rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q939167$4D533E91-6BD9-4000-87E7-0E723A1EA9E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a0c345766150afb0a77875cc45fc329d22f887f","datavalue":{"value":"1149.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939167$942F6DB1-13A2-48F4-8D0E-681C3C52396F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b90d9553e24a1f43d2ac6e846cb604300bf898","datavalue":{"value":{"entity-type":"item","numeric-id":198013,"id":"Q198013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939167$0C3C8F70-1CD9-4CAD-A345-732C450AEBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32210c49293168109ccffdb35870d9035475ba00","datavalue":{"value":{"entity-type":"item","numeric-id":865561,"id":"Q865561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939167$2CCEDD4E-BA61-4684-9CA2-F19D4BF0CA3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939167$4D0B5178-1338-45F9-B965-782F9C3A4707","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecf47d86a87dfc936a87ed03391c6206ce3dbddc","datavalue":{"value":{"time":"+2008-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q939167$95687292-6941-40DE-B23E-2F469979D5AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939167$0B8C957F-8C01-4B4C-ABA7-C4A884D7275A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939167$28F62B45-2D1F-47B8-984F-B0267586DB87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2dfdd3beb596bdf1276e1f407745f29b745dc61","datavalue":{"value":"5314961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939167$EABA20D9-1D50-470B-8B05-925A09262914","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"231fd7f1cbd23bb90816ccee0ddbad1a14073b16","datavalue":{"value":"Mobile ambients","type":"string"},"datatype":"string"},"type":"statement","id":"Q939167$27E6502A-683E-432A-B6FC-9E82FB1D7B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e49008e488d79415f4549cf10d3b60ce2a232d","datavalue":{"value":"Reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q939167$DB67F56D-2F91-4018-936D-A622DB02E7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a40e1f9a15fa93fe9e13405d052191a1b658c0c","datavalue":{"value":"Term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q939167$3D4C990E-4CE3-41FA-84B9-3DFB7DDA8473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q939167$21D32457-B02A-4A8D-98A0-E198652ED96D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05ab5668d708c884e00e91bf8e8096cfef14a43c","datavalue":{"value":{"entity-type":"item","numeric-id":18478,"id":"Q18478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939167$19970108-CAB4-4647-B5EE-A1B7C155BC94","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":"Q939167$D78655AD-8677-4949-BFDB-2EEBAD78B973","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20af88a4b8a45fbae9a01b7986ce9275bcc67d3b","datavalue":{"value":"https://doi.org/10.1007/s00165-008-0081-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q939167$A9E7EE8F-5AB6-4AE9-9ED7-24DF56CDDFF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebbb9760db861de0ffd35ffc42b32f37ddbced53","datavalue":{"value":"W2075788396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939167$04B8CF32-CEDD-4EC4-97C5-AF6B1FF0835F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be210f6c9f59ce43a3aae6a9c14001b51cd6349","datavalue":{"value":{"entity-type":"item","numeric-id":1770415,"id":"Q1770415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939167$656CD124-C372-46DA-BD1C-990F58FBA940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e5ef648a71fdea276e51d19e21d1d24ca9cc20f","datavalue":{"value":{"entity-type":"item","numeric-id":5316568,"id":"Q5316568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939167$1AB619BD-AD94-41A7-A4F4-CA9664116EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7f85b2efc5079fd8d3fe3859ddd39ff8f689b6","datavalue":{"value":{"entity-type":"item","numeric-id":5395068,"id":"Q5395068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939167$7A69DCC6-06FA-48F3-BCAC-7B91C97E7E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939167$8166257E-8525-40FE-B7D9-D3767B230F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a4a5cbe0cddacc30417eb11e14fd1fa0206f02f","datavalue":{"value":{"entity-type":"item","numeric-id":3525157,"id":"Q3525157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939167$DDC6AA01-37FC-4B13-A6E9-1CEEF123EACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6ee11757cbc740a0d57faf9b39b98fe24b0a2a","datavalue":{"value":{"entity-type":"item","numeric-id":1763730,"id":"Q1763730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939167$6E86EC1E-07A5-4BC6-B462-B066855D8E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c16932bbfeea8ec33ad70f0a2658fe162ed5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939167$97B06275-7F80-40B4-89AF-8CF48B14FE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e98f322680a32cb9958826de3f407d1215106b","datavalue":{"value":{"entity-type":"item","numeric-id":1854328,"id":"Q1854328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939167$AE145640-A99D-450B-B27F-F556053A450B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224a8f502813ed342d6cb66c96544427e8289115","datavalue":{"value":{"entity-type":"item","numeric-id":1118421,"id":"Q1118421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939167$40B247E8-37ED-4FA1-BCE0-49927C44B6EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b54862e4f34843223b882467a263ebd9bb88d62f","datavalue":{"value":"10.1007/S00165-008-0081-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939167$080B4E11-F58D-48B8-9FFB-DFF66F0DE5A2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"761a1c57d1947da23c465399cbcdcafca830ea4b","datavalue":{"value":"Q130974875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939167$BE5164AD-311F-4C2B-B401-DB12F8F0467E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a9bdd7178e51bd2633997a51b156da537fdf9b4","datavalue":{"value":{"entity-type":"item","numeric-id":3525157,"id":"Q3525157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72f59011f193594f55421e7789ed6f68d5cfc23c","datavalue":{"value":{"amount":"+0.9789034128189088","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":"Q939167$B3A5660C-1277-4219-8EAA-AAB2BDE92024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c298380dc2201bfefad4973b404f540978cfa3f","datavalue":{"value":{"entity-type":"item","numeric-id":5179047,"id":"Q5179047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a897aea6cc360cfd285e9371aa451d4b69437edc","datavalue":{"value":{"amount":"+0.8421611189842224","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":"Q939167$DD7F72CE-B52E-46C8-865B-8552078593C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e625c22a86fd19ff3b6857a3218741837acb004","datavalue":{"value":{"entity-type":"item","numeric-id":3655763,"id":"Q3655763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19aa29691fbfec066b7e03c16e5e7c48ff491469","datavalue":{"value":{"amount":"+0.7976333498954773","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":"Q939167$B820B31B-480C-4E6D-A48C-D16C05D80D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0c85a575679df67f1a32995270e269f5457fdde","datavalue":{"value":{"entity-type":"item","numeric-id":3005243,"id":"Q3005243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46494068cf29586f9e52aec393dd965c7b5444ee","datavalue":{"value":{"amount":"+0.7958402037620544","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":"Q939167$B7D5E5AE-14F3-40A4-8097-6D6AEFE00C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0183c391544da8dc082d4f41d9d44ca88691a125","datavalue":{"value":{"entity-type":"item","numeric-id":5316568,"id":"Q5316568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"375e97b4b07682b738d63a631dbcadd5edff265c","datavalue":{"value":{"amount":"+0.795364499092102","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":"Q939167$BD38445A-2E59-4910-8113-FE899DB8C9ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reachability analysis of fragments of mobile ambients in AC term rewriting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reachability_analysis_of_fragments_of_mobile_ambients_in_AC_term_rewriting"}}}}}