{"entities":{"Q1140436":{"pageid":1151185,"ns":120,"title":"Item:Q1140436","lastrevid":42909558,"modified":"2025-07-15T22:48:43Z","type":"item","id":"Q1140436","labels":{"en":{"language":"en","value":"Prolegomena to a theory of mechanized formal reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3679214"}},"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":"Q1140436$21159477-313E-4CFE-B4EC-589076F2718F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"238b9679dc9aa524bbb10e169d1da262259b0de0","datavalue":{"value":{"text":"Prolegomena to a theory of mechanized formal reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1140436$3DD95F34-4ADF-4524-972D-12C1C5DA1EFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e773dfd30a8bce463bcd70db3cc863ae954b7749","datavalue":{"value":"0435.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140436$22694AA6-7DED-41B7-AB1C-C4999F5182F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"073f59b066ddb9fffd08d81977e36ffe3f7a360b","datavalue":{"value":"10.1016/0004-3702(80)90015-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140436$2104AF39-3953-4380-84CA-F5DA0647DA4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e2f1fd6f2929b6653b631272c22fa4df2c93bf4","datavalue":{"value":{"entity-type":"item","numeric-id":1140435,"id":"Q1140435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140436$558FE107-7EF3-4724-982B-40F9435B26B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140436$320FF9B2-24BE-4497-A3C2-EC2E60CCE566","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1140436$A397BEC2-D503-48D3-99CB-0F64C61DE034","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140436$1DD7D10A-C272-45CC-B1D1-5A800EA40FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140436$022893A9-BC69-4624-85AF-AE2C9717BB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140436$4636DD1D-05C6-4011-A775-018041A71772","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7ebb93caff7b56ceb6238c2a7133d8908c8673c","datavalue":{"value":"3679214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140436$EC44AE66-9390-428D-A330-109C6D5B1326","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d1e408b01a57c51b59dfe32c966254b5007e24e","datavalue":{"value":"mechanized formal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1140436$20FACD99-9CE6-4079-B972-9691080CBD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b1cabf83e54ebb3087e85f92cd5bfda322a0065","datavalue":{"value":"FOL system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1140436$EF286796-D65E-49E2-8530-124BE1D890D6","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":"Q1140436$96E5B056-1DC8-4BEB-923A-569631EE90B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"022e66cd40f21ca70fa6493d3efdcc8a56085087","datavalue":{"value":"https://doi.org/10.1016/0004-3702(80)90015-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1140436$80F1459E-C3D2-4A23-BC1A-F98FEC91FC65","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5cca9114ddf1d8e7a7b4f2cfbb0d912fddaec4fa","datavalue":{"value":"W2125692076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140436$AE1F73DA-4494-401C-9428-8D0E452610FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d41c9fe05012f3b821e621dc4cf7c3fef4fcb9","datavalue":{"value":{"entity-type":"item","numeric-id":3490989,"id":"Q3490989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140436$894EEC05-C28E-4B05-BF31-A5AD864D3AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140436$2011F1C0-22CF-4E12-BBC3-DAF6C567BF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a53d59efa144ed7cc8d7f6a5488bdec8059d8f","datavalue":{"value":{"entity-type":"item","numeric-id":5727661,"id":"Q5727661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140436$E68D53A9-68E0-4344-952B-45095B65928E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f047320fd7e3226a640c6d6329237827d570808f","datavalue":{"value":{"entity-type":"item","numeric-id":2969690,"id":"Q2969690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140436$9EEC649A-0593-49B3-AE7C-F40FF9B7D540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aaae8474431fe34aa5f87dff0cced3a248d4113","datavalue":{"value":{"entity-type":"item","numeric-id":3997000,"id":"Q3997000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140436$96DF3FA3-C8AC-4375-B19C-1836E6C84347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140436$65F2944A-BAEE-4828-9B26-82FEBE317064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8a79af3c28ca6a85273f2cf60e4233483e6da8","datavalue":{"value":{"entity-type":"item","numeric-id":4051550,"id":"Q4051550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140436$B3FA0F53-EAED-4003-8555-50BBD05403EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"821ba052327064437d4dc5b12ef56d677e2220c5","datavalue":{"value":{"entity-type":"item","numeric-id":5633976,"id":"Q5633976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140436$32CFDF3F-54EC-4E71-9AE6-10A8A830B89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eaf43a88b14444f4a8e2ab2282321b709bbbae3","datavalue":{"value":{"entity-type":"item","numeric-id":5601829,"id":"Q5601829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140436$42294355-87F8-4C61-9284-C72E400718C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727e4fcb174852dbf7f8d1745be850a52bb6ad4b","datavalue":{"value":{"entity-type":"item","numeric-id":5633670,"id":"Q5633670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140436$4A483272-2527-40FD-B088-D5594084CE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140436$EC783FF5-85BB-44CB-A234-94BB7B725FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"336fcf0ce8c7ac6444a2f5e1cbafb5151b64e14d","datavalue":{"value":{"entity-type":"item","numeric-id":5731904,"id":"Q5731904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140436$7C2CEBF9-97E7-434A-AD56-ECA0EAFFC292","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1140436","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1140436"}}}}}