{"entities":{"Q1760369":{"pageid":1771111,"ns":120,"title":"Item:Q1760369","lastrevid":82124843,"modified":"2026-05-06T20:09:41Z","type":"item","id":"Q1760369","labels":{"en":{"language":"en","value":"PCF arithmetic without and with choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6105482"}},"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":"Q1760369$88587FA0-3A2E-4F56-849B-AA98D7C867E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43dfcd7ef25a0965e51a3b979e2e17d3a2600a14","datavalue":{"value":{"text":"PCF arithmetic without and with choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1760369$01C27B74-9B7B-487C-B00B-D8AC67C85B76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c47ca28658f6ed4922158d5ea33da00f03a4ea72","datavalue":{"value":"1270.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1760369$358EDDE1-41E1-4102-B195-BCE415310759","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760369$784A6E01-906A-46C7-9376-33EBC1E9583E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c80839e4a0921a35f61ead63f84da81a31ae4c5","datavalue":{"value":{"time":"+2012-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1760369$27618D5C-5703-480D-B924-D53F6D1FDB0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f42448316ec34eefe66255406bb3c69c39539766","datavalue":{"value":"https://arxiv.org/abs/0905.3021","type":"string"},"datatype":"url"},"type":"statement","id":"Q1760369$FECB911F-B523-4058-8640-0CE9A30ADB33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d47e25e8cf618d2abb950656f24c2f07fd7d2928","datavalue":{"value":"03E04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1760369$961DC781-A7AF-4900-8DD0-69B1CCF72493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1760369$35470B54-45BD-46B9-96FA-F3A249A95A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1760369$435A4E70-F796-4871-A012-B670AF9008EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7890b7b76bee47166826fb87f50848317d92ec0","datavalue":{"value":"6105482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1760369$DCCA13EE-E768-477A-83B5-C8FF94559FE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760369$0B9C1185-446A-4831-AAC1-5B9F88D9FAF8","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":"Q1760369$529C0446-998B-4D34-BDAE-0FD6FE84BCC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5b439e8e8204b150e1cdc79f4edddd7627201c0","datavalue":{"value":"W2094365559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1760369$92ECF665-559A-4097-AD8E-8545F31FD664","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3e0a7b2c8e28835695586b5ebcfbeac78d7f7c3","datavalue":{"value":{"entity-type":"item","numeric-id":3632527,"id":"Q3632527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760369$0DF67E13-63D2-46CD-9013-03F618B4229C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b3e427d257bbb8806ca2663b1c642af6528cf7","datavalue":{"value":{"entity-type":"item","numeric-id":3880838,"id":"Q3880838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760369$23F426AA-40CC-492B-AE52-053F1959D8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc8445808deccdaad954796434db3af9b01f443f","datavalue":{"value":{"entity-type":"item","numeric-id":1976618,"id":"Q1976618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760369$9C602DE6-CAB1-4357-91F6-A394538CD5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68692ab8531b0601f2b057ed5fd1e723c5323699","datavalue":{"value":{"entity-type":"item","numeric-id":1354318,"id":"Q1354318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760369$45AA58BC-C0EF-49DC-8C20-F880C03BE963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f5d424507563468649a221cd0cc734c4e1c64a","datavalue":{"value":{"entity-type":"item","numeric-id":1407545,"id":"Q1407545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760369$AA8E90BF-2021-4785-9DB2-6D1C86018D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb51118f99724d5098903f5f136f03e90a29d4e","datavalue":{"value":{"entity-type":"item","numeric-id":2493912,"id":"Q2493912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760369$EBCF47FE-1E71-4AC7-8FBE-09F87E70CB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"603e25461a84a91b09db3dbd2d39457e8ee866a6","datavalue":{"value":{"entity-type":"item","numeric-id":3583802,"id":"Q3583802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760369$FF832842-12C4-4D1D-9EEA-88D39B63E9F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ab094098b54f4abc36b143ba8447dc507e52bf6","datavalue":{"value":"10.1007/S11856-012-0026-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1760369$B7B04510-F3E4-43F3-9F88-18EECE23A97F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"315c995640493fda66748f363d02537343dcd84a","datavalue":{"value":{"entity-type":"item","numeric-id":466070,"id":"Q466070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb73dfcf5d74b97f414889dfbe06e78cc64ce6e","datavalue":{"value":{"amount":"+0.8024966716766357","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":"Q1760369$E51B7990-6A13-4826-A70D-BE13353C4EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7670b2c5e1e34dd3c9c1b3d5774d9db348eecaa0","datavalue":{"value":{"entity-type":"item","numeric-id":3503761,"id":"Q3503761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c2aa7816179eb0c1160432654f730a70ec67407","datavalue":{"value":{"amount":"+0.7330580949783325","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":"Q1760369$6986D48C-8664-48C2-87B9-95D82B17565B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64a84c08706d0bb6bd1eb6877c2f3eb63a8ccdcd","datavalue":{"value":{"entity-type":"item","numeric-id":5689025,"id":"Q5689025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3274e558a1c75f2495c53e4bda364895bfb7f225","datavalue":{"value":{"amount":"+0.7328411936759949","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":"Q1760369$28BE8682-261C-4E5A-97BF-B1D63E6938FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d5f5419531d7bf28d400035e117bbad2a2fb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":4304795,"id":"Q4304795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b29cc05ede44352b7956fee8ae92aedfc2ebeaba","datavalue":{"value":{"amount":"+0.7215554714202881","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":"Q1760369$EE1C7E75-7F7B-4271-BF2A-8A82614A71DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03f3b84455d57d21dd9a5f0eedf01eeeb0572183","datavalue":{"value":{"entity-type":"item","numeric-id":4005807,"id":"Q4005807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b7c2769a207169fba2d493503bed127332741c6","datavalue":{"value":{"amount":"+0.7215397357940674","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":"Q1760369$A4E48F81-0533-4DC6-8D5E-0756E638F360","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PCF arithmetic without and with choice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/PCF_arithmetic_without_and_with_choice"}}}}}