{"entities":{"Q5168890":{"pageid":7198462,"ns":120,"title":"Item:Q5168890","lastrevid":58455741,"modified":"2026-04-05T07:25:25Z","type":"item","id":"Q5168890","labels":{"en":{"language":"en","value":"On the complexity of equivalence of specifications of infinite objects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6318868"}},"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":"Q5168890$2B315D8E-792E-4C4C-9339-09816DB428FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"647b870fd731694886ba7b2c9b593d4c9cdef431","datavalue":{"value":{"text":"On the complexity of equivalence of specifications of infinite objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5168890$C9AB2A3C-67D9-427D-B631-55F6D94E5329","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d849fd12cfaa08658b820d69e2dda57a91eb6de","datavalue":{"value":"1291.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168890$F1EB218A-FA74-4C67-B578-96EE5186BF3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85b91e362d46797e932657346da7e272c045093f","datavalue":{"value":"10.1145/2364527.2364551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168890$82A183AD-2B67-4A79-B13E-47CD481A182B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fca1c19bbfb0afe27e2894d7aa8bc5bfdf949d86","datavalue":{"value":{"entity-type":"item","numeric-id":549183,"id":"Q549183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168890$CE3C47AA-89E0-410C-ABB5-D69F96FA93C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ca9aba1d27cc0a527c5e55e40b675c206cdc1e1","datavalue":{"value":{"entity-type":"item","numeric-id":549187,"id":"Q549187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168890$0A89F2DD-3882-415E-9E6B-634D11CEE29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef4265c715ce5dcd6afacbb49f83cddfa37ef233","datavalue":{"value":{"entity-type":"item","numeric-id":838489,"id":"Q838489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168890$CDBB3ACE-CBF2-468E-BD03-1B4700E25969","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"124eb001557b71c36d00fbe6c3c8f1624c5e49b8","datavalue":{"value":{"entity-type":"item","numeric-id":5168876,"id":"Q5168876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168890$3B1F7D95-359C-4820-B012-335DC34B9837","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5670447523ca0c92d2715e5586c267824127db6a","datavalue":{"value":{"time":"+2014-07-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":"Q5168890$3140B2C5-D051-4823-B17A-795EF8FD1704","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"387fd91fe8c932d34a7fb2b925b37ba28b2caa67","datavalue":{"value":"https://arxiv.org/abs/1207.0158","type":"string"},"datatype":"url"},"type":"statement","id":"Q5168890$7F54B193-FE97-4AE7-9BF5-881C172DA988","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168890$D48E147F-27AF-44B4-A371-5DCF86770CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168890$BF6A376D-D20C-42A3-872A-AD35B7B2EA2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9eac8f176c69849d8f7714ea65662946d347e775","datavalue":{"value":"6318868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168890$444C8F36-24FC-49FD-81D1-3A7D7C60B449","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168890$DA032209-972C-489A-924B-08A7C12E79DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0f95fd7c491c2848966554299dc8d662766cabe","datavalue":{"value":"equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168890$E9ADBFC9-116F-4E04-8599-8C8B2D7DD6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66b2276908255ab0fe38e919717094768bd78cb3","datavalue":{"value":"equational specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168890$29729783-5F4D-4E3A-88A1-9CB4280D2EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba0abf238195b222d8be7383574a852b5cb220f4","datavalue":{"value":"infinite objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168890$18BDFCC8-E265-4504-AC8C-8C722748956F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"970ea7b604da2cc8ecf16084a23ac84157bbb264","datavalue":{"value":"lambda terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168890$316C72F8-ED62-4779-B330-2562740FF154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168890$054976E7-9CC9-4102-A126-B71A2F9C47E5","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":"Q5168890$46511017-10C8-46DC-A683-02C9500234F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ca5b27e77ca719437c291677d9cbaeaeb67d4a6","datavalue":{"value":"W2100631280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168890$B8231CBB-D142-421B-9F15-AAE01A321E05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73efa6e85b05491b74af355dc813fc07836a3ddb","datavalue":{"value":{"entity-type":"item","numeric-id":2875229,"id":"Q2875229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97d6e60e4b6baa76c3df66a6cec7e5a5ddfaa665","datavalue":{"value":{"amount":"+0.8314395546913147","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":"Q5168890$76CAAE0B-E0A3-4519-B084-E3940E569078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a34fcf50e58e708c98c58779c92a2db2878c645f","datavalue":{"value":{"entity-type":"item","numeric-id":5501465,"id":"Q5501465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"712cd36ec7fa42510dbfa725b3b3075771ed4929","datavalue":{"value":{"amount":"+0.7664297819137573","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":"Q5168890$D738E912-92AC-48AD-ACF1-5AE35CFC83BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de29032dda050c9cc902761205606afae50eeb17","datavalue":{"value":{"entity-type":"item","numeric-id":3976053,"id":"Q3976053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4b29a022f0135137a8a647db09ea52ba642d86c","datavalue":{"value":{"amount":"+0.7226186394691467","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":"Q5168890$CA857231-243A-4E94-98C6-8185F45775D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb22a99afa03170e1cce44586ac5436a75c845a2","datavalue":{"value":{"entity-type":"item","numeric-id":5389096,"id":"Q5389096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b35dad41100af43f1488b6bae6e78a0d495bd85","datavalue":{"value":{"amount":"+0.7208673357963562","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":"Q5168890$6C9F8BAA-DA5B-42B0-89E4-9D75EB6C21C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a940aece734b1d877648069c0845ae19d1514a1","datavalue":{"value":{"entity-type":"item","numeric-id":4355677,"id":"Q4355677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e462362a8887d20a143038a7efb5f63655db7dbd","datavalue":{"value":{"amount":"+0.7033211588859558","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":"Q5168890$A2178FCA-949D-4FBE-B631-EEAC11229C21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5168890","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5168890"}}}}}