{"entities":{"Q6178470":{"pageid":13313358,"ns":120,"title":"Item:Q6178470","lastrevid":58745289,"modified":"2026-04-06T13:53:02Z","type":"item","id":"Q6178470","labels":{"en":{"language":"en","value":"Revisiting the conservativity of fixpoints over intuitionistic arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7790931"}},"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":"Q6178470$7B805069-1346-41A3-B013-598D4407252A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d422b94670d9c047c15929b90dded059c8268b1f","datavalue":{"value":{"text":"Revisiting the conservativity of fixpoints over intuitionistic arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6178470$A7D4F025-9EA2-416D-870C-28B9756AEDFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30feba8458fd66bdc54a548c74d01452fdd86db6","datavalue":{"value":{"entity-type":"item","numeric-id":6178469,"id":"Q6178469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178470$35AAE1C1-FF6E-41E1-A538-107B6EFC050B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a600e00a0067a948cd8d1c1dc848b116163ff5b1","datavalue":{"value":{"entity-type":"item","numeric-id":1987217,"id":"Q1987217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178470$EA82DFA4-C95F-4506-B11F-F3F7F6104735","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178470$DDE55BAB-74AD-46E2-A627-1F6DDBFCBC05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ff89536e38dd1dcc6e3cce47bb2f12bcf1912f8","datavalue":{"value":{"time":"+2024-01-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":"Q6178470$E5BA8174-EB71-452F-8242-5877FA1548B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62f7c020d11e88f9c56396f8455b4738cf417a38","datavalue":{"value":"https://arxiv.org/abs/2110.08240","type":"string"},"datatype":"url"},"type":"statement","id":"Q6178470$AF82FCD5-8DB7-4EFD-B09D-0AC0CFC19734","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178470$DE36F8BF-98DC-477B-95BD-FBDA4338C652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178470$2C7F2B56-3052-425E-9BED-71FC40570252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178470$73D5019B-15C2-4E54-8574-EE574A7EB0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178470$7056793C-48B1-448A-B9DC-271EED5578A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77223a7978672fffa69a698f1c1fcb216fdbc1da","datavalue":{"value":"7790931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178470$83E0317F-1BB2-4679-8A26-E07BF0282DDB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d07a54c9fc39316119e5abc8a73f9cfee6aeff8","datavalue":{"value":"fixpoint theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178470$3ED214FB-71BE-4A4C-A6E9-D7B3C03B136D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4108cecd289b9cafbcb28752da70c2315de2efa0","datavalue":{"value":"conservativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178470$9FE8A4FA-5A97-4063-9188-B669ECADC0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178470$31D00024-B929-48FF-A3E9-09FC92EB24C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d7b81c9fc32ce14d11ff9e6561a71508b16e30c","datavalue":{"value":"satisfaction predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178470$C95AAC52-8851-4668-83DD-E039FF85A99A","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":"Q6178470$9B445DF4-179A-462B-BE19-16979C0AC7A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4596fddbd839fe4d69e57a97ac81ad470453c83a","datavalue":{"value":"W3206789550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178470$A2149E20-9FDE-48D0-BEAD-891425BDC05C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d38ff805070eaa2bdff1d23b3dcb4e045ff942","datavalue":{"value":{"entity-type":"item","numeric-id":1386672,"id":"Q1386672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178470$ADFFB3BA-D82D-4D0C-8C22-96190D78447D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b220dbc781dafa493813c640157524f7a834d9a0","datavalue":{"value":{"entity-type":"item","numeric-id":1295413,"id":"Q1295413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178470$3CB21FEF-6858-4C4B-86A0-22CFEBCA2084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e4c5f704c6c0a6676d2dceb125e1ec632ee1632","datavalue":{"value":{"entity-type":"item","numeric-id":4531084,"id":"Q4531084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178470$51E551E1-FBCA-4B63-902F-807B872D5FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"394027c9d0340353b0f5c82f66bd451c4fa32bcc","datavalue":{"value":{"entity-type":"item","numeric-id":639680,"id":"Q639680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178470$9DCF6E64-929F-4954-A0DD-C739391E75D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178470$9F458963-DEFC-4DC0-BD0A-2C6CE6824657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178470$7B47E2FF-0815-4EE6-A321-108B8104E726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db83db5e0786cf11ac8fc85326b08547f3c9784f","datavalue":{"value":{"entity-type":"item","numeric-id":1688961,"id":"Q1688961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178470$8EB29084-3538-4320-AB67-4B14F5F87F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178470$9DB3F85E-FC0A-4C48-A85D-726D5DB8BA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45693061e506ddfc304d90cb392dffdbb69b973","datavalue":{"value":{"entity-type":"item","numeric-id":4215635,"id":"Q4215635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178470$BFAAA4EE-C74C-4A5B-959C-2E30BD836550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"861675e070d01c6709765fae78f1b2b9e9a93b52","datavalue":{"value":{"entity-type":"item","numeric-id":4527922,"id":"Q4527922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178470$649AEA56-A062-401D-BB8B-F5F275D78B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4dbb4032689e84f6793498eeb09f51fe34d965e","datavalue":{"value":{"entity-type":"item","numeric-id":4664249,"id":"Q4664249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178470$5A62389D-9C17-4785-90EB-B84F565ADA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178470$B2F43D47-F29B-4D66-B378-8505973CA788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf71db7fe7ae48c6e6fa43f58b7429054a90d9c","datavalue":{"value":{"entity-type":"item","numeric-id":3949044,"id":"Q3949044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178470$F6C930CF-E7CF-484A-916C-1FCD077F2717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932eb9f75e23d79158ee6b26a933dbdd68025fed","datavalue":{"value":{"entity-type":"item","numeric-id":3338239,"id":"Q3338239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178470$0C30E424-A658-4D6F-BE9B-E6A122047681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39fc44a12c6438cb90522e8e2687faea7c2e4f4f","datavalue":{"value":{"entity-type":"item","numeric-id":3981446,"id":"Q3981446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178470$3EB2F11F-D35C-4F56-A2ED-2C1222A91D0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0bbe2fa5030c645baf936fa24dba30ada0905bc","datavalue":{"value":"10.1007/S00153-023-00878-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178470$B55799CA-82BC-4805-9DE0-4C056CD67081","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c4e0a54152716a862e779a106089249331203d4","datavalue":{"value":{"entity-type":"item","numeric-id":4071304,"id":"Q4071304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6178470$8E85DE9D-34D4-4D0E-AF7D-2687E2612AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e59a83541ff3e8ac29f97a511cacc8228f1bd5f3","datavalue":{"value":{"entity-type":"item","numeric-id":5819776,"id":"Q5819776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6178470$03795F6D-F7EC-40C8-BC26-35E0EB0C556C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d729a074c0be0533aa985c402680e14a6418e40","datavalue":{"value":{"entity-type":"item","numeric-id":5672697,"id":"Q5672697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6178470$4E401933-BD82-4385-BFD6-02EF14808C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d392d8280c4ab25f0ca261c442a05edb1b77dd1","datavalue":{"value":{"entity-type":"item","numeric-id":3249914,"id":"Q3249914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6178470$70D8A5E3-0690-4935-8D8F-D35759945A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3652cc812943596864498be08594d689e39c2ecc","datavalue":{"value":{"entity-type":"item","numeric-id":4783098,"id":"Q4783098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6178470$F94E4FAB-7B2B-48F6-97C4-E8FC11B17F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a171e83fd88af9b1a33a9d5fb5007e417da6f7cc","datavalue":{"value":{"entity-type":"item","numeric-id":5904155,"id":"Q5904155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6178470$8AC0EEAE-B269-4611-A827-313D2A1EBC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"846b063d717ff1dff0c377f6b63e7aa8337b4bc7","datavalue":{"value":{"entity-type":"item","numeric-id":5192856,"id":"Q5192856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6178470$B44B8E37-4C5F-4809-B7F7-831748587CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"642903e3ff1c9fc8c1bfa3e7e0df81c643916636","datavalue":{"value":{"entity-type":"item","numeric-id":1053812,"id":"Q1053812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6178470$4D51190A-A359-4C72-92ED-2247AA05F91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"338a7370c633fc6257528e0fc9d271e0595a4272","datavalue":{"value":{"entity-type":"item","numeric-id":3265650,"id":"Q3265650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6178470$F33758F2-68CF-4A6B-B1CF-2C98A14EC7B6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178470$0CAB27CD-8644-4C14-920C-A4F38275B57F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6178470","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6178470"}}}}}