{"entities":{"Q4212930":{"pageid":6242531,"ns":120,"title":"Item:Q4212930","lastrevid":46596546,"modified":"2025-12-25T04:16:04Z","type":"item","id":"Q4212930","labels":{"en":{"language":"en","value":"Frege proof system and TNC\u00b0"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1208098"}},"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":"Q4212930$09C6AED0-24DB-4099-80E1-CE850FC22B43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"726de75f1a1b9843e083e2561169124b3d6e3115","datavalue":{"value":{"text":"Frege proof system and TNC\u00b0","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4212930$E772073A-903C-4275-A9D1-A5C5805C0D78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac9fea999a530aef7f82f622994c172d3d389c36","datavalue":{"value":"0959.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212930$34566202-6943-4757-9796-44386BD80B48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f8dbac584a196c1edb0790f79171f52b171544b","datavalue":{"value":"10.2307/2586859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212930$B40D198C-2F62-4E0F-8055-6B62D3BA4B4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"057136d60f841fac35f8dec23b81e4925462b1bc","datavalue":{"value":{"entity-type":"item","numeric-id":768306,"id":"Q768306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212930$FE6A6122-DCCB-4A68-89E1-9F62D52CCEB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"965510c2bc86d2c445b669bbe56a3047f175e67d","datavalue":{"value":{"time":"+2001-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4212930$17605616-DAEB-4270-8BFE-962AF2696EBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212930$28D8C4E6-FB2F-4EB5-8152-EAE3CD62FB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212930$B42903A6-AEFD-455C-A048-CB73C8FE2F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212930$86D25853-2C54-4492-8574-FED6EDCADF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212930$E1E976BD-83BB-421B-9500-56DB2C3E75B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212930$F68A77AB-71A1-4ACC-9756-506B22B09149","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50275ca772b7904eb711da9ee4614571a802a616","datavalue":{"value":"1208098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212930$83C88192-C2D6-4D23-8B6A-EDA1B7F70897","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce2a3682890778c91b74d0bf80ce479b7227e79","datavalue":{"value":"uniform proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4212930$9F37805C-993E-4FF5-AF15-0F01D778DED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0bce2786f3aa95bdd715638aec0581e4cfae1c3","datavalue":{"value":"extended Frege proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4212930$0F943FB9-8F5D-465E-986A-0D32B48622C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84b82ad4b445d9652b6d526384e94341709a559e","datavalue":{"value":"computational complexity class \\(\\text{NC}^1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q4212930$4CC3026C-4A9D-4FDF-BDDE-243B46C5C82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3076f9cba27cdde8978a3b99d749b2f64cd0508","datavalue":{"value":"Frege proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4212930$471AFF94-D8FC-43E6-8760-3DAEC96391AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4212930$2DCEB232-ABAD-48A6-8F8B-88A366023173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dc1e2347bb172779f27674f9fc16977c4cabbe6","datavalue":{"value":"first-order system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4212930$FCF21432-AA2D-41F6-B0A6-7A25A7D458B9","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":"Q4212930$0E7303BE-BFFA-4E7A-8B00-7B88F2021BAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"532a724620df6f8368f0e662efff05c8df89a2a7","datavalue":{"value":"https://doi.org/10.2307/2586859","type":"string"},"datatype":"url"},"type":"statement","id":"Q4212930$735BA752-2C53-45F1-87CE-4F4251DE2058","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f89bec1b2d185c93b63ede19e24fa0e04628dc79","datavalue":{"value":"W2575470425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212930$5426E149-81E6-4D7B-A9DF-C3F29F65C09C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f4a86512e0f02bf82877dbb62313fcd7fe9ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212930$093EFF96-C8FE-411A-805E-FC16E4F171CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc816397dae1d2b39f875ccd36daeff0abb29d2f","datavalue":{"value":{"entity-type":"item","numeric-id":1345903,"id":"Q1345903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212930$3F137E3B-585B-42BD-B3AF-F499CDF47F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8acec166e44499e04859736b9e8d3fc98cd46626","datavalue":{"value":{"entity-type":"item","numeric-id":1823242,"id":"Q1823242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212930$693072DA-68CF-42ED-A415-4EEECC24D663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d80b71aac6c156cc5e731feb5af69cb1501263ac","datavalue":{"value":{"entity-type":"item","numeric-id":1353980,"id":"Q1353980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212930$2C89E94D-E8D5-4DAF-A585-565B0CC4A0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f8ff1dde15320feaf0e2d97ae63b5260eaa5803","datavalue":{"value":{"entity-type":"item","numeric-id":4018401,"id":"Q4018401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212930$26B16D25-49AB-4650-952F-C7852606DD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268508f11a93ad9daf989654e9defbf367898cdf","datavalue":{"value":{"entity-type":"item","numeric-id":1177033,"id":"Q1177033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212930$459CF12E-C21B-40C9-9178-1C91F66DF4A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212930$E1757895-8D60-49B7-A5F8-6D8B4495D104","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c0a75c4f1131ee866cde9f99c88c11d29350aa","datavalue":{"value":{"entity-type":"item","numeric-id":4850552,"id":"Q4850552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d9b64c85cf4e8eebc69e8500df1246e4e0a7a95","datavalue":{"value":{"amount":"+0.8283210396766663","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":"Q4212930$9CAF5102-69B5-42B9-874D-FE9CEE6943E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e652befa7c235b176c2003d479759743e719a31b","datavalue":{"value":{"entity-type":"item","numeric-id":3194704,"id":"Q3194704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb336766a5c8dccc934b858d38e94bc2f75d68e5","datavalue":{"value":{"amount":"+0.7652493715286255","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":"Q4212930$EC93258D-2E94-481B-8194-AA2D891D8479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22429a65a09e2be64934dd4fe3beeb889db2682b","datavalue":{"value":{"entity-type":"item","numeric-id":638497,"id":"Q638497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfdec62b64a15e451bcaebc7559988b45f72992f","datavalue":{"value":{"amount":"+0.7649309039115906","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":"Q4212930$FFEF74DB-930E-4731-B145-8F17C2E7A64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20304930accadc7fe78aaead233fbe7aa148b06","datavalue":{"value":{"entity-type":"item","numeric-id":3829548,"id":"Q3829548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40af90d50378ab6554d59b916696a43d4ca7ca87","datavalue":{"value":{"amount":"+0.7636213302612305","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":"Q4212930$935B7F58-06B0-49E8-A9EE-951874388B04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4212930","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4212930"}}}}}