{"entities":{"Q4035261":{"pageid":6064981,"ns":120,"title":"Item:Q4035261","lastrevid":55235689,"modified":"2026-02-05T04:04:26Z","type":"item","id":"Q4035261","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 176159"}},"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":"Q4035261$FE8B6A16-8829-4319-83D7-1A06EB267366","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb50aaa23a7cc2621557be2f078080ed56aee766","datavalue":{"value":"0764.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035261$21425986-EE9E-46DF-9AD5-F875908A9831","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8173eedd914f9f1cc8a31b7ccb6a3d161d688109","datavalue":{"value":{"entity-type":"item","numeric-id":535327,"id":"Q535327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4035261$75A3F3A2-33D5-493A-86F8-DE2478F03528","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4035261$D440FA3B-0F99-45FC-9910-C11E59899335","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035261$F9C7D4F0-FD66-498B-9D52-8964246FEC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035261$E47655F0-7A97-4AF9-8B4A-72E0D4898D45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18e06492093721d4fc22f6ad8c38f78ba1c1b555","datavalue":{"value":"176159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035261$803AE6D2-C363-4311-B60D-C45D8C2B8516","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c932c1f166b3a9b0a891b3aa41569da3ca361d0","datavalue":{"value":"call by value evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035261$3CCB151F-A617-43A1-94C0-F0D13BB1571A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e72dcd2bfd920019145e513609919d4131fa066","datavalue":{"value":"equivalence of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035261$22B435F3-3AD8-40CA-A664-1A5BD0BE5ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b6765b26adc196074b87e832e73b0017383895","datavalue":{"value":"contextual relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035261$E803E26C-C379-47C0-A713-31868EB1AE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4c95942ab172c120cf5c0a061ffa7c68c666aad","datavalue":{"value":"partial combinatory algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035261$F1C12481-F789-4575-9CB1-D9A16EEFDE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bc2746a4b9fde5e19d5cda484a643230f9a431","datavalue":{"value":"bisimulation relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035261$637009C1-7D27-4921-924F-C5446C01076C","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":"Q4035261$865D66B9-8D43-4A66-97EA-4E446DF24171","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84a3b31326a6f2cbeffd94be3c08f9554da6555a","datavalue":{"value":{"entity-type":"item","numeric-id":3755431,"id":"Q3755431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"613cc7d107f23a24cb8f128e036223a819d3882c","datavalue":{"value":{"amount":"+0.7946922183036804","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":"Q4035261$3322E5D1-19C9-4BAD-A480-4E0424D2A822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2613c3e87d01a11ddc30b28a2042faccc25e1283","datavalue":{"value":{"entity-type":"item","numeric-id":3787976,"id":"Q3787976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a75edb19fa1f57a27b8e63ce64db078aae967d79","datavalue":{"value":{"amount":"+0.7757967114448547","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":"Q4035261$405FA072-A47F-475B-9D84-943C1007C44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0cedb70ccdc10668c747a0206686fb2e41ec5c","datavalue":{"value":{"entity-type":"item","numeric-id":1884934,"id":"Q1884934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cc9e25714066d73bc0de7147dba0981f0e3c13f","datavalue":{"value":{"amount":"+0.7755364775657654","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":"Q4035261$74D87D88-D76F-493F-BCAE-6B60CADD62A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61f8722045c27dc3af5874b94b08322022cb3813","datavalue":{"value":{"entity-type":"item","numeric-id":4704765,"id":"Q4704765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aadd066dfa37795cae1f69fba66e687251a2e6a","datavalue":{"value":{"amount":"+0.7601995468139648","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":"Q4035261$2B0090AA-9E7F-476C-9D50-00814AA9D93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f00a4a30e1ccba03cda9f8d477d17f4f922ea58c","datavalue":{"value":{"entity-type":"item","numeric-id":760416,"id":"Q760416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03f09a294034c3b3cd7fe219159c8f42716460f8","datavalue":{"value":{"amount":"+0.7552633285522461","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":"Q4035261$DC5BEB19-8E64-4EC6-8D2D-4B4221DD9BD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4035261","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4035261"}}}}}