{"entities":{"Q1193589":{"pageid":1204338,"ns":120,"title":"Item:Q1193589","lastrevid":66455595,"modified":"2026-04-12T10:11:24Z","type":"item","id":"Q1193589","labels":{"en":{"language":"en","value":"Extensional PERs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64871"}},"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":"Q1193589$040D09E0-A19C-4094-AAD8-FCAF5A8FE1B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a88b98b8bda43f96fbad34b44fb4405a2fa0438","datavalue":{"value":{"text":"Extensional PERs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193589$5687169E-AD4D-406C-AC6B-87C5BFBFD216","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06375d3a4643bf940aa194e27f9e98ec6a87e043","datavalue":{"value":"0762.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193589$7775E788-FD39-417A-8426-E072DC2E5CBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8eb9948c7cc3b5d3cf8cfdb9dce709a022aa1dc","datavalue":{"value":"10.1016/0890-5401(92)90019-C","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193589$FAA76C56-1570-4D3D-86F0-D2714B7C7950","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b17683dd2eedd3f1d821a1087aa218b2b31d17","datavalue":{"value":{"entity-type":"item","numeric-id":1160451,"id":"Q1160451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193589$2CAF0438-F3AF-4480-ADC0-0FA0634156FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193589$977AB579-F698-4E14-9589-F1E2CE985263","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193589$60AA4D7D-00B4-43AC-AA62-629468719F7E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6cbc9a3ac3e1755f21c70b9a36a6c49cbf780953","datavalue":{"value":"Mathematical (denotational) semantics of programming languages requires a general framework supporting computational models and effectiveness. Searching for a good category of domains, the authors present results on a class of Partial Equivalence Relations (PERs) on natural numbers. Extensional PER (ExPER for short) is a Cartesian closed category where every endomorphism has a canonical fixed point. Domain equations are guaranteed to have solutions because all basic functors are realizable and have canonical invariant objects. The notions which appear in the paper related to the category (Ex)PER are defined using familiar tools from computation theory, namely Turing machines.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193589$B3B4F21D-C434-45DB-94D3-0D2775F23214","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193589$2C4E6D69-9A1C-45DB-B48B-A1A4BFFAC760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193589$36F3B00C-64B3-4E5C-9568-73DE6167E5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"80931d057452ecc032f2d5088e7a41d514d934e3","datavalue":{"value":"18B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193589$BDEC9DF1-E150-48FD-92D0-B41F2884EE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193589$F7A3DBEC-D060-411C-8993-1A2B1C1718AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86b73e28d1a7dd353599ffc9bbcce69e5e33a0ff","datavalue":{"value":"64871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193589$48E13EB6-ACAF-4B20-9452-B35578F202F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a70123e3939e6fbc904ae7f6a00f83c4e19e7ca","datavalue":{"value":"partial equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193589$D311EAD3-4C7B-4FB7-B6B0-B1B2BFB18309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aee419b13f29f23efa882f3ada4c59260850cf2","datavalue":{"value":"semantics of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193589$336577D5-A3E4-45A0-971F-14FAE86D9EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fc83dac3afd95d78cccae5c0aa52309d05b8178","datavalue":{"value":"category of domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193589$4E610A5B-F9D4-48C3-9C06-8DEF6E1F6136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1c45196cdd85ad95682c1a388584062cb0d282","datavalue":{"value":"Cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193589$350FF282-2A5F-4B58-A4CA-9A3DED699386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b2518fecb1c0b57735793eae5817ca06057a14d","datavalue":{"value":"Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193589$F78BCFF4-A1AC-4868-A353-8D4244C246A0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a15109437d833303a14fd0218e3039f04ef1e62d","datavalue":{"value":{"entity-type":"item","numeric-id":264537,"id":"Q264537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193589$23CEAA76-4716-418A-A775-5C4D09E89003","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":"Q1193589$52E1F01A-9235-47A8-8FF5-610E7015DB9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa3c1f6c5208cbe85d065b63d195e43c8b24cb4c","datavalue":{"value":{"entity-type":"item","numeric-id":3795831,"id":"Q3795831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193589$115E6380-CC39-4025-856E-4F1B788A0834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5501613cddf33b1396dc7f1668c6f3991128201","datavalue":{"value":{"entity-type":"item","numeric-id":3999206,"id":"Q3999206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193589$BC6241E2-A265-4599-A9FC-F14E8BEEF7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1503ebe805f85a1cd71b88071e3eea323bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3671978,"id":"Q3671978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193589$9B718FFF-F692-4EE5-8251-33CA0A0001EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8e2ff5d4943e38d73207e7174bfebcd9fc5e22","datavalue":{"value":{"entity-type":"item","numeric-id":1167158,"id":"Q1167158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193589$D48F97BB-561B-46D1-9BB1-3AE264FBFEAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af9feeac444209dc4791f8093da992d7ecfb2bf","datavalue":{"value":{"entity-type":"item","numeric-id":3204459,"id":"Q3204459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1987227b7aef7d6f58cbbec35cf4f0097250a28b","datavalue":{"value":{"amount":"+0.7852013111114502","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":"Q1193589$EB4D9A75-C370-4DD2-A34E-07B603D19C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ac27ff3b8f416de3fed97d1c19e077c7727ffa1","datavalue":{"value":{"entity-type":"item","numeric-id":615886,"id":"Q615886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c8fb0d1fd23ee19b5ed01f140e900fb21c54155","datavalue":{"value":{"amount":"+0.7838451266288757","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":"Q1193589$323241D8-7802-4ADA-925E-DFF1BF7B1B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab4776533fcc0b85eae706aa1efa7a4435e9503","datavalue":{"value":{"entity-type":"item","numeric-id":4279258,"id":"Q4279258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abbe6d9fdceb09e89796f1608841d011df469cff","datavalue":{"value":{"amount":"+0.7730613946914673","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":"Q1193589$2B047227-ABE5-43B9-BC78-3C3690729471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f87dd34a8eb14d673e58a4bd4aa2e852b6c180c","datavalue":{"value":{"entity-type":"item","numeric-id":1322479,"id":"Q1322479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97bdeaa80fbfee9098d624f7db0069f628273c67","datavalue":{"value":{"amount":"+0.761751115322113","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":"Q1193589$D1337969-CB59-4020-8350-CA7AC8C1B270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a254204321c500eb1d331918129f8404b200a0f0","datavalue":{"value":{"entity-type":"item","numeric-id":5687242,"id":"Q5687242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fe45a459c39d669624dc9bcbeb77b1c56a95478","datavalue":{"value":{"amount":"+0.7606136202812195","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":"Q1193589$D5D4D86A-34E2-4D7C-AA5D-F1206EDE2E0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extensional PERs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extensional_PERs"}}}}}