{"entities":{"Q437031":{"pageid":438798,"ns":120,"title":"Item:Q437031","lastrevid":61818633,"modified":"2026-04-11T01:52:40Z","type":"item","id":"Q437031","labels":{"en":{"language":"en","value":"Decidability of equivalence of symbolic derivations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6057739"}},"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":"Q437031$2409F660-657E-4705-8B70-D365E63BB531","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e3112ce56468d4e89c3235f963ba404b1b7cd07","datavalue":{"value":{"text":"Decidability of equivalence of symbolic derivations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q437031$0CD1590F-8D4E-49F9-B4C9-CFAC8D6BEDC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f6a80ee985e50cbb264c980c025e3778826075f","datavalue":{"value":"1242.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437031$E796092F-481F-4185-AB61-30B10FCF631E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3be771d01fbe526b5c76e8fa4a0f32fad7031aa","datavalue":{"value":{"entity-type":"item","numeric-id":437029,"id":"Q437029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437031$DDC42412-C072-45A6-AF9E-9CE95EC60540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5450522126073beebe5b41bdc84b794c874c239","datavalue":{"value":{"entity-type":"item","numeric-id":437030,"id":"Q437030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437031$C3E9241E-6A5A-4931-A2C7-CB69AF83D0E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437031$87EBE1E7-64BC-4773-985D-74C44AD403BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84ece3a61d19e8a79724038a31d8c2f410ad0a43","datavalue":{"value":{"time":"+2012-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q437031$4A53F387-00C8-4E02-83DA-50EE2B0C3969","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437031$24D1F67D-74B8-43B1-AC73-8B40AA3C83AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437031$663FA61D-8573-4F8F-AD09-7BAC34F9DF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437031$D2F4B440-AC45-4F4B-B619-623A8269DC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437031$C0B1B265-2A29-4796-A18C-91DCCBC74094","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"853a49183fb0dd39831deb0c03e48354e3891b86","datavalue":{"value":"6057739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437031$CEB5E739-8C0C-4CF4-93CB-C8777A1D0A46","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4ea10327db28874882ccd8da3d8d6f07f044476","datavalue":{"value":"security protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q437031$6DB4B547-17EE-4702-97FE-1227669DCD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1162a17c23e3ffb24b5d732ea42418288035784","datavalue":{"value":"Dolev-Yao model","type":"string"},"datatype":"string"},"type":"statement","id":"Q437031$E7A5B9D5-89A5-447D-AC1D-3817A00695FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q437031$820202E0-7635-4BB3-8DCD-B037A571A4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c63e18af9e8b99a4a49b8bae3c619e9077622fe","datavalue":{"value":"symbolic derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q437031$1015C504-FE01-4D75-A229-22DE864FD857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e5bc034079ae719cb4b6235146cbc9f6469b64b","datavalue":{"value":"subterm deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q437031$6D594F2F-4761-49FA-9A84-15B93782A2A9","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":"Q437031$6D4CFD2F-007F-4146-AB20-64A0DFF1727A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9c8eaa4657e5f9f5730df2da3edff99dda1dd34","datavalue":{"value":"https://doi.org/10.1007/s10817-010-9199-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q437031$F68F02F9-7C31-4CA2-B8F1-2A33B603BB2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6168e5555a694400a77770a24e907da24294071","datavalue":{"value":"W1965890562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437031$7025FFAC-0D7E-4C38-98FC-0F07D751E3BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437031$3A849903-D0DA-4AB5-801E-FDD6EAA8F458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ef94cd854f261a03421632ce7dd586f76d29c7","datavalue":{"value":{"entity-type":"item","numeric-id":2474047,"id":"Q2474047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437031$61E9D41B-C3AF-4A0E-BE59-0AE39E0DF013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f24efce6992803e4942eeccc04599e8963e887c","datavalue":{"value":{"entity-type":"item","numeric-id":2784489,"id":"Q2784489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437031$2FD0782C-9A6C-4488-8841-F12A6DC6497A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0de528048102a53c4a18deb26d5245930dec75c","datavalue":{"value":{"entity-type":"item","numeric-id":5747780,"id":"Q5747780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437031$1FEEF021-4713-4492-97C6-34C28547B0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"878fe154984b011925cae52ab7eecc92a4aefeb4","datavalue":{"value":{"entity-type":"item","numeric-id":5716815,"id":"Q5716815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437031$D22DE6B7-3064-4B9E-97A3-D274DA9D8754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071541525a03ecfa18975e7362b5f803c162dec3","datavalue":{"value":{"entity-type":"item","numeric-id":990127,"id":"Q990127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437031$7B99766F-7D6A-40CB-A0D8-DEB19F3E7EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed1f5eae3bb683afc8101fa8eddb89e73906fb54","datavalue":{"value":{"entity-type":"item","numeric-id":3569110,"id":"Q3569110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437031$02B687A9-F3EF-46D9-8EF9-67C6CB8EF0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626d7a62e073def6cda0e756433e91c381c28af8","datavalue":{"value":{"entity-type":"item","numeric-id":1874404,"id":"Q1874404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437031$D91872A3-7087-4DE7-A45D-548DB92F3941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40218d81f87e14c63496b993ad9566e7786683d3","datavalue":{"value":{"entity-type":"item","numeric-id":4335813,"id":"Q4335813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437031$16A3A537-9260-4E46-AE9F-86D6EA2E5D33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ae2adcbb3ed8f5a36a92f4ea49201c6e885c9de","datavalue":{"value":"10.1007/S10817-010-9199-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437031$77FB7826-7C36-40D5-B7FA-CED24E4D6BAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e339e7b585026668beb26e95b634ac19810f508a","datavalue":{"value":{"entity-type":"item","numeric-id":5941060,"id":"Q5941060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1fdaaa3fdc37a10f5c0c1c4a2280373ef5a106e","datavalue":{"value":{"amount":"+0.7057779431343079","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":"Q437031$FD57E5FD-1D2F-4B00-951C-5E79395773A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c726c29954bca1020e375d511c4960b27f035533","datavalue":{"value":{"entity-type":"item","numeric-id":5167841,"id":"Q5167841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3651342e62917fdea2b97154a7ae14500fff9383","datavalue":{"value":{"amount":"+0.7026908993721008","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":"Q437031$A0DB26D1-6FB6-4840-8FCB-ACC1F6565DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0f76bf53093a71d0b9a46af5e39240e4a9db937","datavalue":{"value":{"entity-type":"item","numeric-id":3460044,"id":"Q3460044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4f853513980836f0d96b3fc517caa3114504012","datavalue":{"value":{"amount":"+0.6986774206161499","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":"Q437031$1E6922CF-AC45-461E-9941-37FA7A69D311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b58d2bf5593372d4201064a516c4e726cbbe6c4c","datavalue":{"value":{"entity-type":"item","numeric-id":1816326,"id":"Q1816326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5689da823c8e0dc2aac2c336b5482d806380c0","datavalue":{"value":{"amount":"+0.6980392336845398","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":"Q437031$394616B9-08A2-4A47-8CD3-EFD8134E88D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d29db322ea3ebd69595ba00f8c0789e1ec3a0ac0","datavalue":{"value":{"entity-type":"item","numeric-id":4223071,"id":"Q4223071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a562a2bce93363ff67f65dad6521e0b8d8ece2b","datavalue":{"value":{"amount":"+0.6979137659072876","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":"Q437031$2A141EC1-EC91-4A18-A48C-A9723281075D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of equivalence of symbolic derivations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_of_equivalence_of_symbolic_derivations"}}}}}