{"entities":{"Q953553":{"pageid":955401,"ns":120,"title":"Item:Q953553","lastrevid":50488187,"modified":"2026-01-14T04:44:43Z","type":"item","id":"Q953553","labels":{"en":{"language":"en","value":"On the decidability and complexity of the structural congruence for beta-binders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5362202"}},"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":"Q953553$3FFC19D7-8DCD-4116-A45A-9451E43977F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a32682ffe61aa3179d51763c3cf151b0974deccc","datavalue":{"value":{"text":"On the decidability and complexity of the structural congruence for beta-binders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q953553$0D43A1D2-AC28-4537-97E2-574873A8FECE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2de99a1f158f227ff4b63a25b0ed25cc50ac997","datavalue":{"value":"1151.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953553$6D8FC98F-56DE-4FE7-8616-D28E0DF14E0C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953553$2DC6A065-2DC1-42C6-A6ED-2AB934E9FE7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e676b345923800624f916d2a2c8d52ef91c50b4","datavalue":{"value":{"time":"+2008-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q953553$9D216E67-0CDE-48E7-BD6F-C88E5B54E50C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0ab1c9868f4c48ab4806a0100f5166986d6eebb","datavalue":{"value":"http://eprints.biblio.unitn.it/1697/1/TR%2D06%2D2006.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q953553$016566D0-AA54-47BF-8B63-A591E0E0ED5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953553$A63D4408-C8E7-4364-9C9A-E42BDC20E68C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22667f19eb03a28bcc560490afc01651e93af586","datavalue":{"value":"5362202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953553$AA27E3FB-28BC-454A-BB4D-8DE0428B2637","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q953553$B2B81F1D-7D4A-4A65-8265-09FB6F7EB3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c460b570025c7217d42d31a3d7ef9ce2f5abec3c","datavalue":{"value":"structural congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q953553$1467AFCB-2C0F-4DF7-B433-8DED848ED713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q953553$2D56C6A2-C3EC-4FE5-9E46-0F816FD9EB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q953553$82C35707-EF07-4B99-BE6C-EC420AE9E482","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea3b2983ddfcce66a70df90def913b5cf416d9e9","datavalue":{"value":{"entity-type":"item","numeric-id":1044843,"id":"Q1044843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953553$346E4714-4195-4C88-9432-C44A7BC7FC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c8cc20251caa9024b82592803a89bf37c2a06f9","datavalue":{"value":{"entity-type":"item","numeric-id":1044844,"id":"Q1044844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953553$E3EC2E13-11E5-49AC-AA64-AAAD1CDFA074","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":"Q953553$EF2FEB05-7B9F-44C4-BE96-C0FA9441E47E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70877fb95fb285f9bd19ac9cf17e109033d3c565","datavalue":{"value":"W2101766761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953553$E20FD7AF-03F6-46F0-8AB9-8D5A067D5B5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"83a4f78f74a2090631bdede167d09520408ab890","datavalue":{"value":{"entity-type":"item","numeric-id":2864203,"id":"Q2864203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953553$EAF54429-132D-4FE7-8652-810221618518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953553$A494FE08-DEA4-4F2E-BF75-920AF0EF8CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953553$F005CDBC-28D1-4651-BD6B-3DDC547BE71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5274edf95cbfa00f50d26f8311358f99b7856e2","datavalue":{"value":{"entity-type":"item","numeric-id":1607114,"id":"Q1607114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953553$FCC8C2F8-1C57-4968-9F30-9B00E0F66CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e14f4be5ea10dd4ca1608a944ee645401769bf3","datavalue":{"value":{"entity-type":"item","numeric-id":1884869,"id":"Q1884869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953553$AF7FA7E3-B868-46B8-AB57-50A2F3D804D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"557c8e6f58a6cf3a18d88c4cab8d603ee71fd1ca","datavalue":{"value":{"entity-type":"item","numeric-id":5712404,"id":"Q5712404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953553$BE542943-EA2C-4667-B560-C68462623948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb41d95ac6b19b3c7aa547d272e7788124eb1be2","datavalue":{"value":{"entity-type":"item","numeric-id":5712405,"id":"Q5712405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953553$7ACF5DCB-CCA2-47AB-9D18-F587EEC52CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"622c647a2ae0222800d694112001897b9083b985","datavalue":{"value":{"entity-type":"item","numeric-id":5463915,"id":"Q5463915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953553$720726FD-B5DF-455F-B63A-1C63C1DC4AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31afc4c8b996cf08130904caef0646151bad8609","datavalue":{"value":{"entity-type":"item","numeric-id":1889854,"id":"Q1889854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953553$70529040-0469-4BBE-8297-62626A07DA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e2d9b56da40253633847e390dcdea86383fc05c","datavalue":{"value":{"entity-type":"item","numeric-id":672867,"id":"Q672867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953553$B404BA71-CC79-4ED7-BF51-AE7BB71706DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d1d1f09b79b3df33d18da85a1ba2aba4775cb7","datavalue":{"value":{"entity-type":"item","numeric-id":1274455,"id":"Q1274455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953553$3CD47534-6F2A-4D5A-9C31-98618EFAB480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff365d8186cc4c7ca2a8c01bb1842652c3c232d","datavalue":{"value":{"entity-type":"item","numeric-id":4273947,"id":"Q4273947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953553$8FAA9816-2906-44EE-B207-BDF8606A4D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953553$78EDFF3C-5E05-4897-8029-CF064ECF1045","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"901c014a063e3d2d1b13582086e549e3d8e26cf6","datavalue":{"value":"10.1016/J.TCS.2008.04.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953553$6C167819-5A49-44BA-A574-D69E3EF1C1F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce90ddcd741aaeee1005f203f1919cff8ff55118","datavalue":{"value":{"entity-type":"item","numeric-id":2864203,"id":"Q2864203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f11482fb2e247af703812e51f727213d850085b","datavalue":{"value":{"amount":"+0.9504112005233764","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":"Q953553$EDBE458F-33C5-4C3C-81DB-0D64CEE06EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb33af57a14965c8421ff9cce2ec7b57c3ff20d9","datavalue":{"value":{"entity-type":"item","numeric-id":3507381,"id":"Q3507381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"058bf1a7a19afa2a539b9b203c39da0b65710737","datavalue":{"value":{"amount":"+0.7400885820388794","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":"Q953553$B7518D97-A407-4106-8DB1-5E2C61BAFB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5f2defe4788e63a0015c14f2d44d6a8b65d7828","datavalue":{"value":{"entity-type":"item","numeric-id":5712405,"id":"Q5712405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10b8f5334b8960e55e84b20fe62ca26462d07827","datavalue":{"value":{"amount":"+0.7364553809165955","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":"Q953553$038674D1-BEF3-47A1-B62B-1D152EF6D13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b927561c6295d323d56e4a3633a40fbe8a637124","datavalue":{"value":{"entity-type":"item","numeric-id":2870298,"id":"Q2870298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f045dedb14e72bea5620ed39561cf9fde984c2f","datavalue":{"value":{"amount":"+0.7344785928726196","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":"Q953553$1971F0E0-07C6-4455-8C81-D3186794F214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0119daff5fdbd4c192d5cb82d29972821ef5e6c","datavalue":{"value":{"entity-type":"item","numeric-id":5404078,"id":"Q5404078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f93c8dd4c4d885bdf41a566d2a7eb29d76ae3499","datavalue":{"value":{"amount":"+0.7125228643417358","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":"Q953553$EDE3913C-D5C9-472B-805A-30056D068477","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:953553","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:953553"}}}}}