{"entities":{"Q609763":{"pageid":611539,"ns":120,"title":"Item:Q609763","lastrevid":63147138,"modified":"2026-04-11T10:56:31Z","type":"item","id":"Q609763","labels":{"en":{"language":"en","value":"A syntactic embedding of predicate logic into second-order propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5822357"}},"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":"Q609763$824F36BD-BB08-427C-BF07-AC96ED28C4D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4170abd9c904a51b1659efec2676547a04a05d31","datavalue":{"value":{"text":"A syntactic embedding of predicate logic into second-order propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q609763$E8195A90-57C7-4361-A782-BDC0E61C6633","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae2a162886442571182895661c83df6d6fa79cf5","datavalue":{"value":"1216.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609763$790ACC76-6F69-43A0-8B3F-A49F326F4AE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34979d7a320445b54842fc2abf1365314c9f2d3e","datavalue":{"value":"10.1215/00294527-2010-029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609763$4CFCAC42-84E9-4F11-AB48-A07FC430D6DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ee549e3862dd1e883829fc71d54217245973b","datavalue":{"value":{"entity-type":"item","numeric-id":332079,"id":"Q332079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609763$F94B9F0A-AA5D-4A9E-A4B4-0B8C4A67CBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2875aee90fd87423322d2627d32e4150c27948c","datavalue":{"value":{"entity-type":"item","numeric-id":1125573,"id":"Q1125573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609763$87A1C871-C103-413B-9C53-43D014BEFB2D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609763$616FFE0A-ED8C-47AD-8A02-3BB6CC259E79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f7a6f873bf5c0d11b62fa3d4700ead7fb1e1f3b","datavalue":{"value":{"time":"+2010-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q609763$C2A9D1C3-84E1-4DEA-93B5-D1DBA4F6C459","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609763$2FA651FA-C58C-46AA-AA13-0798C877FA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609763$50B946B4-1742-4E5B-80C6-33B2C7392A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609763$367C535C-CB76-45E9-8CFD-D5FE1E63DA68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2276b686815baa1a1432340a38ff34db72839cad","datavalue":{"value":"5822357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609763$015B6608-5E87-4260-97FF-CFCED2A71D52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a52030254e1f705e4786bef10a559c6dd41afacf","datavalue":{"value":"propositional quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q609763$BFFDACA4-D026-4D6A-A84C-23DB0AB7CF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"201622d6485f7f2376dc4496f9849a766dfa5a49","datavalue":{"value":"IPC2","type":"string"},"datatype":"string"},"type":"statement","id":"Q609763$1DC9A564-74EE-4054-9ED1-B6093BAFB9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e9433bfe11099dfb975d6ad0ee6e0538b800d80","datavalue":{"value":"syntactic translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q609763$8B176C07-2B9D-47C7-9146-55042B5831C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d1e68ea02dee2073033df710aa9c3bdb7248291","datavalue":{"value":"first-order intuitionistic predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q609763$573125A9-0A04-493C-B259-9A672F08F934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac2260f76f79a0908063211cd2aa3f10191c097a","datavalue":{"value":"second-order intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q609763$9FB3FC06-FFAD-4051-9430-D369FFFC2796","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":"Q609763$E684C516-43C2-4F10-8426-3E6094E6BAFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b88aa2b0d26c765381403e711c0a37faca3e7d8a","datavalue":{"value":"https://doi.org/10.1215/00294527-2010-029","type":"string"},"datatype":"url"},"type":"statement","id":"Q609763$C1B48CC5-7983-4E73-9A8F-F599C82AB308","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e5ed2c4fafd69406f9b6176de872e80b73a384c","datavalue":{"value":"W2027489592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609763$47188137-1B7D-467E-A86F-A70D746C0D3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b19b04de2d82d040e43922a70b51f48b77a1efe","datavalue":{"value":{"entity-type":"item","numeric-id":4133591,"id":"Q4133591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d5b44e786c62fb43cd232a1fddf4111fbd19e93","datavalue":{"value":{"amount":"+0.8265701532363892","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":"Q609763$40B3E213-45CF-4D4C-ADA7-EFDFABEA6888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75725363fd29ef4e45e356fda1c10a93266a8f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3616347,"id":"Q3616347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32bfcb2a60fec4a71b2e746cb1efd89cc126f4d8","datavalue":{"value":{"amount":"+0.7699236273765564","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":"Q609763$469EF083-CDC2-47FE-9C36-C7E82C91544B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e703f2bb542fa3d548921ab0230928ae2de1fe","datavalue":{"value":{"entity-type":"item","numeric-id":4459601,"id":"Q4459601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"295c842c68077c44d4ebc926a98df09fe5cd96b9","datavalue":{"value":{"amount":"+0.7685325741767883","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":"Q609763$EDF407FE-822D-436E-813B-9183C5F7F37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6303cfa49c032aded639e74c60d8cd5923d39e1e","datavalue":{"value":{"entity-type":"item","numeric-id":5434524,"id":"Q5434524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68093f7f82ed7425c83b2905cb222b6ff4296f58","datavalue":{"value":{"amount":"+0.7648082375526428","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":"Q609763$5EF040C3-6FEB-4AA2-ACF4-BFF204D5E2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d886e0e830c068e08ac3ab53f48522901c12c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4364519,"id":"Q4364519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a75527446993273814ebe8dff62688dda58e9a41","datavalue":{"value":{"amount":"+0.7528494596481323","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":"Q609763$89C7FFE4-7737-4590-8B0B-D3FFB40247DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A syntactic embedding of predicate logic into second-order propositional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_syntactic_embedding_of_predicate_logic_into_second-order_propositional_logic"}}}}}