{"entities":{"Q5262936":{"pageid":7292512,"ns":120,"title":"Item:Q5262936","lastrevid":52303796,"modified":"2026-01-21T09:46:20Z","type":"item","id":"Q5262936","labels":{"en":{"language":"en","value":"A logical characterisation of static equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6457553"}},"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":"Q5262936$360EB249-000D-4A81-9886-31A68C06029E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd36d1b0f343698db55576efbe973181836a73db","datavalue":{"value":{"text":"A Logical Characterisation of Static Equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5262936$AAD32DD3-0713-4A89-8295-5858A1FEF398","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abf6646c6c126499cdc4b426496cd9a36856b05f","datavalue":{"value":"1316.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262936$383D2677-AF3A-459A-999C-9E22C0870240","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f357d017754e572ccc44c17ada188ba5cbe27432","datavalue":{"value":{"entity-type":"item","numeric-id":861693,"id":"Q861693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262936$D475F4AA-29C3-4F00-B4BC-486D2720E39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddee946527c394eb4d051a4a31c0b0d8fcbd4fa5","datavalue":{"value":{"entity-type":"item","numeric-id":5262935,"id":"Q5262935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262936$C1CB2BE9-3B55-4EE5-A599-8F363B2D44C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262936$6073F25D-9053-4AD7-A1D5-D30D18CB8F14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9969939bb103ca6857dea96cf377517e2479ab0a","datavalue":{"value":{"time":"+2015-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5262936$7783208C-4D2A-487D-9180-352ED7C66C73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262936$FBBC6134-F122-485F-B805-A646707B1E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262936$0A5C2A87-E9F9-475D-9CC7-378688395CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262936$A3455E3A-7D59-4B6C-85F4-986D476027CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff30dc98153c78424f2564154ba605ea0332db55","datavalue":{"value":"6457553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262936$768B7C48-7AD3-4B84-BF6F-73CD5E606247","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14f34eed909bc359581cb5f08cf69f237f3bc106","datavalue":{"value":"frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262936$6B79B497-822A-46FD-96F4-8162041DE6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9afb9f37755748b127a63f4dbdb174f5fd783a7","datavalue":{"value":"static equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262936$D81689B2-0D2A-4717-8FD7-7AA699881D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262936$C760754A-BB7A-4F93-93E0-13D16E4A64DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7cf19c4844f555afeb1874e534e59c2314744","datavalue":{"value":"cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262936$4EFEBECA-F81D-47B2-87B3-5898956CE204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89ca33163bb2b6cd40341ed13a2d2f9a0d6a00b1","datavalue":{"value":"applied pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262936$522CAF9C-964C-4015-B435-6B42E3B010DD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0eb1bb36564f4e4c94eabdbcb2cc5b8e340d4499","datavalue":{"value":{"entity-type":"item","numeric-id":21924,"id":"Q21924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262936$9577C9C0-9CC5-475B-B556-C99951B13915","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":"Q5262936$BDF380FD-6B7C-4814-B1B6-CFEFCC32161F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f966f6774d3b678c776b7f5f40bb764486bfc8b","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.02.032","type":"string"},"datatype":"url"},"type":"statement","id":"Q5262936$107A25A4-F66F-4081-9E23-471DA42ADBB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afc5331fa7faddd898145027be8c73a350eb2fd1","datavalue":{"value":"W2072150543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262936$0751A334-51CD-4912-AA01-532CB585E79B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d86573fcd63512252090cdc77433782143369e","datavalue":{"value":{"entity-type":"item","numeric-id":5466517,"id":"Q5466517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262936$75E77DD3-030C-49CD-81C7-368D2C2CF109","rank":"normal"},{"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":"Q5262936$3BEB3B44-0FD5-4250-8A93-3C0D6458CA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262936$BB452834-0D4E-48E3-8C79-2F8F897BC528","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":"Q5262936$4583DF4B-F700-4C43-8911-9C4A0E1AEE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a31964b9480c48b4c5cd1826e5e88480ef30f4a","datavalue":{"value":{"entity-type":"item","numeric-id":2852062,"id":"Q2852062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262936$4F08E2CA-F4BD-4C55-97B5-BD567E652562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9f70e7188156d403f522b81c0f9facf21845cc9","datavalue":{"value":{"entity-type":"item","numeric-id":2842609,"id":"Q2842609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262936$7063FC7B-4C35-4B73-8BA6-2C9EB999CC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44acb8889c19255991fa67e5cb6664da062b8d17","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262936$64A04073-838A-49DB-9B6A-3F31A746E466","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbd120a2b2b2db3f9999d826ed798fd1f224b989","datavalue":{"value":"10.1016/J.ENTCS.2007.02.032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262936$98024C59-A52F-4570-BEDF-8DA16CE8FA0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f07223c21ed5a6479ec2aa0b7699d91b8b47d335","datavalue":{"value":{"entity-type":"item","numeric-id":2852062,"id":"Q2852062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33e87bcc1fa08ab288acaa813b6c83f8915c2547","datavalue":{"value":{"amount":"+0.7535838484764099","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":"Q5262936$824445AB-E9B6-47B4-A04C-E56709351AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15b713c1a3fe0e41081267727c5e8d926c80649b","datavalue":{"value":{"entity-type":"item","numeric-id":2842609,"id":"Q2842609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbcef11ebec217f7a59d9fb3cfd69e4083362f9b","datavalue":{"value":{"amount":"+0.7471655607223511","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":"Q5262936$BA6F2C62-5ABE-4B4C-A7F3-2D07F54F11EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d11aee89078d56e560ea9cc08c8d7b92f1bef08","datavalue":{"value":{"entity-type":"item","numeric-id":3656844,"id":"Q3656844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b6fb7577dea7b3d1d114d79b225a78e1e79ba5","datavalue":{"value":{"amount":"+0.7316499948501587","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":"Q5262936$9E8EC188-B77F-4D85-A608-DF441E0DA994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d911a500c2df9d660f946f63988aac50f6d0122c","datavalue":{"value":{"entity-type":"item","numeric-id":437026,"id":"Q437026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d773b9dc37ce194e8d2ff1ff46a1fddea9a5f53c","datavalue":{"value":{"amount":"+0.7306094169616699","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":"Q5262936$D84913D5-52B3-4369-89FC-17BCB191C46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"010742de94d613e6cbb40233e1319c62703aef1d","datavalue":{"value":{"entity-type":"item","numeric-id":5899102,"id":"Q5899102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7a920fa30dafef4c3162241c83853f28e98af16","datavalue":{"value":{"amount":"+0.7124449014663696","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":"Q5262936$BE22D931-7466-437D-885F-313BAB201C61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5262936","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5262936"}}}}}