{"entities":{"Q3499746":{"pageid":5529649,"ns":120,"title":"Item:Q3499746","lastrevid":80585786,"modified":"2026-05-06T16:32:25Z","type":"item","id":"Q3499746","labels":{"en":{"language":"en","value":"Algorithmic Equality in Heyting Arithmetic Modulo"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5282026"}},"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":"Q3499746$945F91C4-00EC-4EB5-B08A-D892951A6925","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2706ec262d55ceefc56bb7b4d1b6d02d8ab91c4","datavalue":{"value":{"text":"Algorithmic Equality in Heyting Arithmetic Modulo","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3499746$33CDF684-011E-4D4F-9C0F-3FF38EC9AB9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4c95a942f07a1ddeb138d21f6ab6876e6c379a1","datavalue":{"value":"1139.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499746$46AEE501-DFBF-4948-B24F-4D066DA67F76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34f9047a8a30380d951582829748cbfbb0844eba","datavalue":{"value":"10.1007/978-3-540-68103-8_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499746$D33CDFDB-A3CC-4677-88C5-1B5071D662F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42f4887d7ce64b9aad82211cf343296164003b24","datavalue":{"value":{"entity-type":"item","numeric-id":2870143,"id":"Q2870143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499746$3162881B-3219-4005-834A-7C184A0DA7F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499746$3D2D14FA-70C9-4414-B0E1-0E71E1A580E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"88e4ba475cabd2d879ecee60d295bc12168aa5d8","datavalue":{"value":{"time":"+2008-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3499746$D004E2AC-D4D1-4293-AD31-395F3B302B9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499746$0062652F-8019-459C-974E-1EAE81E10456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499746$1E82D82F-35E6-46CB-BACC-9233B692B619","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc71d0ad311417d455e9196ab79c984d896064c5","datavalue":{"value":"5282026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499746$5F83FFDA-AE18-45C7-A5F7-E9143270A426","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":"Q3499746$57CB4C44-4D9C-4A16-BCE5-50FED892DC7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"196013459ce2c53203caf0cc115574c7a175da28","datavalue":{"value":"https://doi.org/10.1007/978-3-540-68103-8_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3499746$501CAE8B-ACC6-49D8-8B79-F4A03343ACCF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2dbb0d016bb5e7b24afb98bccabd29c7373f52e4","datavalue":{"value":"W1514360211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499746$E1E97287-1DB2-407B-9E59-76E4FA5CF04E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ce4f9299c3a2986c53414825322ca224e21b8a","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c30ab58746f8d24b57d36540540bd6f23c4987c2","datavalue":{"value":{"amount":"+0.8094145059585571","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":"Q3499746$D3D0D5D2-C851-4146-9805-D5C2C3C03664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02dfa40282c263134ecca7d65304655cc53c7576","datavalue":{"value":{"entity-type":"item","numeric-id":4447247,"id":"Q4447247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35c6aaa650f06f8aafd9f7ed411144de193cbe66","datavalue":{"value":{"amount":"+0.7917718291282654","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":"Q3499746$0BCB6E34-D4C4-4A51-92C7-FA6AA470D41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7ef991317cb42ba6b39ad5bd12cbd14685f436b","datavalue":{"value":{"entity-type":"item","numeric-id":3612434,"id":"Q3612434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07b99a4ee973bef9b56bdb3173081d545adb66c1","datavalue":{"value":{"amount":"+0.7741864323616028","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":"Q3499746$41294CAB-D787-486D-B949-EA49D22B7B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba8ee85ebb11cb64006b0f4ab77c045d7646337","datavalue":{"value":{"entity-type":"item","numeric-id":4736827,"id":"Q4736827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c83f02c99428153ee3c47de04c83377865ab420","datavalue":{"value":{"amount":"+0.7681926488876343","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":"Q3499746$36693618-CEAE-42D1-AF45-C6D90992FA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2feb62bb3a69859753f55154a03f7ec76704cd3d","datavalue":{"value":{"entity-type":"item","numeric-id":5434502,"id":"Q5434502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24032cc18d6229126736afe8146a35f143a221a0","datavalue":{"value":{"amount":"+0.7633103728294373","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":"Q3499746$9B0F646C-BE69-4B78-8916-8EAF31954568","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithmic Equality in Heyting Arithmetic Modulo","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithmic_Equality_in_Heyting_Arithmetic_Modulo"}}}}}