{"entities":{"Q1300007":{"pageid":1310757,"ns":120,"title":"Item:Q1300007","lastrevid":70096017,"modified":"2026-04-13T12:24:46Z","type":"item","id":"Q1300007","labels":{"en":{"language":"en","value":"A translation of intuitionistic predicate logic into basic predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1332866"}},"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":"Q1300007$772A4520-3FC5-491F-88FF-98A946FA2902","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a938223afc7d68553ca9f69bc69480a30bddaa65","datavalue":{"value":{"text":"A translation of intuitionistic predicate logic into basic predicate logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1300007$257EC5DA-F73C-449F-87F4-853F922AC99A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fb5e9c490998a9fafe69406cb80c6b46e17a990","datavalue":{"value":"0932.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300007$D89AE6CD-A22C-48C8-B1D2-A42BE6978E07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9aff89500d5b429eb7d2b75050e0c935001641d","datavalue":{"value":"10.1023/A:1005196310070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300007$B7D239F4-E738-411C-B4FE-FF36ABD6AD53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e63f0f7326486d44dfb43d06e0b528a89a70ef2c","datavalue":{"value":{"entity-type":"item","numeric-id":190271,"id":"Q190271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1300007$9A30B0FE-B062-4A93-999F-EA923682E478","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1300007$B9EA20ED-A452-4BD5-A4A3-547A1150F6BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b22f0234058b897ad308815846be004cdc7f94b2","datavalue":{"value":{"time":"+2000-03-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":"Q1300007$C978EC5D-99F1-4ADD-855D-A945D01AB763","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300007$AED854F4-6D6B-4772-BB44-05DA6BB0C63A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2d441db7e32e34af72128c4132937a6b00a5785","datavalue":{"value":"1332866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300007$5EBEABED-33F1-4D14-B564-7ACD68042C28","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32383c5b60bb675f3130d94d20bb0ad26f1f0236","datavalue":{"value":"basic predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300007$46C02C35-2DCC-4550-AD0D-2D2341AF0D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"331c070d819a804f4fce95cd157b87c0330f337a","datavalue":{"value":"subsystem of intuitionistic predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300007$F5B8678C-8319-4180-8CF7-AACDC18EC9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a6728e50cbaca75cf287bc48ae14f636315ae3","datavalue":{"value":"translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300007$A49ED7FE-3622-4F04-A257-9146282722AC","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":"Q1300007$64E0EDB7-3F3B-4FA5-946B-E309F11D6568","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b556180568c6c00bbad7877145aa6d965c7e6f70","datavalue":{"value":"https://doi.org/10.1023/a:1005196310070","type":"string"},"datatype":"url"},"type":"statement","id":"Q1300007$13ECC8E9-11B2-47D0-B0E5-C45617232D23","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3834ec9e489e46e5d28bea37928b394162bbebd7","datavalue":{"value":"W1482252656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300007$ADEC6442-E56F-40B9-A1E8-281CFD4CA064","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"273a29132aace2c168462525fc9a03fef1eb8eaa","datavalue":{"value":{"entity-type":"item","numeric-id":4487246,"id":"Q4487246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"191271edc7261bdf2f011683b840ffcedcb637a1","datavalue":{"value":{"amount":"+0.780038595199585","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":"Q1300007$48AA56C4-5BE4-4D08-9267-DD0C5F7D23E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0af9fb8634c709b6d0b064576ce077b74d56fe7","datavalue":{"value":{"entity-type":"item","numeric-id":5937805,"id":"Q5937805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45a99b7d1597adedb4fef641c29cf80cc31e06e0","datavalue":{"value":{"amount":"+0.7796485424041748","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":"Q1300007$868F9CDF-1A05-4849-8D8C-6237ECE2C416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b957ad6dc5d90a250dd508d48d7d6fc846bb993","datavalue":{"value":{"entity-type":"item","numeric-id":1198409,"id":"Q1198409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffd7bf03cb80ae2d8a9d1683ee5d56b13ba323bd","datavalue":{"value":{"amount":"+0.7632910013198853","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":"Q1300007$CE84593E-9AE1-4AA6-9AC3-14F2AB44D0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c493971065a36cf79b18ff79c8848e315545ea31","datavalue":{"value":{"entity-type":"item","numeric-id":1407590,"id":"Q1407590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"895a661fb8ab9f70dc3e4e4466cbe47f4efecfe0","datavalue":{"value":{"amount":"+0.7564935088157654","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":"Q1300007$A02AB130-876F-48F4-A81C-4CA756D1FA3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A translation of intuitionistic predicate logic into basic predicate logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_translation_of_intuitionistic_predicate_logic_into_basic_predicate_logic"}}}}}