{"entities":{"Q1788334":{"pageid":1799076,"ns":120,"title":"Item:Q1788334","lastrevid":72960540,"modified":"2026-04-14T09:01:55Z","type":"item","id":"Q1788334","labels":{"en":{"language":"en","value":"Real numbers and projective spaces: intuitionistic reasoning with undecidable basic relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6948557"}},"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":"Q1788334$EC728D11-0418-4827-ACE7-DDEF532CD3EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cba53707d717543f3250d292519adbd8994bb01e","datavalue":{"value":{"text":"Real numbers and projective spaces: intuitionistic reasoning with undecidable basic relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1788334$3974A030-33B7-49CA-92CD-B5AC253FAD7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bc7bd3795cb924c8694e795638cf4a823286efa","datavalue":{"value":"1437.03174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788334$5A17EB61-6AA4-4183-976C-0AA5A1EA4176","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cc8bf89138092366dba76fbdf018c3e853b377d","datavalue":{"value":{"entity-type":"item","numeric-id":167888,"id":"Q167888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788334$F338D0D4-4D81-43CB-8314-7A3F72D4DA9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e359c0e985e9b5bac2c1d59359dad9dfd6f494d","datavalue":{"value":{"entity-type":"item","numeric-id":174755,"id":"Q174755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788334$8ECB6FAD-1FF5-4283-9303-E46BF01DE169","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b482b6ba3fb35deb96d8a9f107a3b0da26ea6358","datavalue":{"value":{"time":"+2018-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1788334$556FEEB7-5DD2-4E7A-84BA-4B7AB0F03273","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65478654ba1eaa42f3dd07a13f76e345db67a5d3","datavalue":{"value":"http://hdl.handle.net/10138/317010","type":"string"},"datatype":"url"},"type":"statement","id":"Q1788334$DAC79CA4-5A49-4A05-9582-6082F7E2729C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788334$72BECDDB-B607-41F2-A02A-9DB9D71C3FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"987534210f24e22be743ce682e8bd441c895d89c","datavalue":{"value":"51A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788334$1A8926A2-2043-454B-8BFD-444A2F4C9918","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af0f3286efed73a9edb088281988ea73dd03db55","datavalue":{"value":"6948557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788334$4039B6AE-E412-487C-AAC7-7493DD4A1596","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":"Q1788334$0041AD9E-9178-4A68-8776-A4693EA75597","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d786c03a300cdc96092ecef3e9fe8ebbe73e8a43","datavalue":{"value":"W2809750965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788334$C009D79C-863C-49F5-BCEC-4BAA7E99FF0A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b48e9b8e84cf9b3c532b9fc4eee79bd50b0243a2","datavalue":{"value":{"entity-type":"item","numeric-id":4068683,"id":"Q4068683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788334$CD02D42A-1B23-413C-8402-BA490461E18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f57dbfeb894648d79283f5525d4b60ce88ed55b0","datavalue":{"value":{"entity-type":"item","numeric-id":5593817,"id":"Q5593817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788334$CD978206-C992-4AFF-BFE1-4157AE904994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29d18349bcbf8949ed225956d591a34a9e36fcbb","datavalue":{"value":{"entity-type":"item","numeric-id":1909592,"id":"Q1909592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788334$4AFDD33F-A3E3-462E-B4A1-E9F1300B54FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de3b4e9df890fe6a9a0e73ed4b1da2089af2588","datavalue":{"value":{"entity-type":"item","numeric-id":3143725,"id":"Q3143725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788334$D6AFCD8E-016B-4ECF-A5CE-B00DD3E02DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3541189dbca4e0105c0a9c876ec92d5ddebd0d42","datavalue":{"value":{"entity-type":"item","numeric-id":1902978,"id":"Q1902978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788334$4A730523-1278-4E41-A5D8-975C2EB7380D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b460655ff1bc0eace2c31c42636fb268146f5f3","datavalue":{"value":{"entity-type":"item","numeric-id":638479,"id":"Q638479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788334$EB805ACF-43FF-4B75-9D91-82F2C03E0174","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4596928b2e3e1335aac1cca6bd02362de50ecbca","datavalue":{"value":"Q129647075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788334$AECF569F-8EEE-4044-9705-CD62257C42B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c189986f5b6af71970406813a5e9edf9a700f11a","datavalue":{"value":"10.1016/J.INDAG.2017.10.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788334$A00A5887-D8B0-463B-8216-CB18C86953A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47351ccab5a12fa5cc19bb38482da61aa8ebd7ba","datavalue":{"value":{"entity-type":"item","numeric-id":1909592,"id":"Q1909592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c531f55ce2c9c12739af0946a0ce15cf200e4c2","datavalue":{"value":{"amount":"+0.765781044960022","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":"Q1788334$095C28F3-CEDD-476C-9D5F-2FE93A2A6376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4630ad7038825a1f2e45ee9e400437e7e22e997b","datavalue":{"value":{"entity-type":"item","numeric-id":4237909,"id":"Q4237909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c531f55ce2c9c12739af0946a0ce15cf200e4c2","datavalue":{"value":{"amount":"+0.765781044960022","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":"Q1788334$C5420009-6DA0-43C6-8702-B2F67DC54259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b3b26944d10a42cd0061d8e5e408305ebe7c697","datavalue":{"value":{"entity-type":"item","numeric-id":1928390,"id":"Q1928390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3678b3a24a48363ca4cc8f8c8417b9432da48cc2","datavalue":{"value":{"amount":"+0.7291692495346069","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":"Q1788334$02524C5E-3DB1-4BA1-9B51-C5D356CB9FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b70dec5c2e5c4cdd0ed74d3e2aa544a107174933","datavalue":{"value":{"entity-type":"item","numeric-id":1295418,"id":"Q1295418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9d14e3894e5e02b01dc3240efbfdf55c9904532","datavalue":{"value":{"amount":"+0.7232450842857361","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":"Q1788334$EF7B962B-5CCC-443E-95C7-5AB4765634D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99500e1f0737f443ccbdbe46735f657af2129a6d","datavalue":{"value":{"entity-type":"item","numeric-id":5149704,"id":"Q5149704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9d14e3894e5e02b01dc3240efbfdf55c9904532","datavalue":{"value":{"amount":"+0.7232450842857361","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":"Q1788334$92534748-0E38-46F9-80E0-F74D2DD04A1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Real numbers and projective spaces: intuitionistic reasoning with undecidable basic relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Real_numbers_and_projective_spaces:_intuitionistic_reasoning_with_undecidable_basic_relations"}}}}}