{"entities":{"Q4198749":{"pageid":6228350,"ns":120,"title":"Item:Q4198749","lastrevid":32005800,"modified":"2024-03-19T20:37:10Z","type":"item","id":"Q4198749","labels":{"en":{"language":"en","value":"Bounds for proof-search and speed-up in the predicate calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3637853"}},"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":"Q4198749$98B7FF10-8879-4EF5-963C-7E4F1BAF80B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57fcea3f6bfea1b0fe798d506f12b4e4a4a80b6b","datavalue":{"value":{"text":"Bounds for proof-search and speed-up in the predicate calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4198749$C0F9BC82-DDB8-4563-8657-4E5F355BD063","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"932b147c8cb7316159f2fff503dfade5709bd273","datavalue":{"value":"0411.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198749$C1B1481D-A586-4726-B6DA-9B38E0D54AAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c77b0b10913a180f15971d5bb4e86dbed73be3ed","datavalue":{"value":"10.1016/0003-4843(78)90011-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198749$1BEC607E-F907-46F7-8C90-DDD3B4D63553","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8163ce1afc0fec16367278ef74f8847085a60d3a","datavalue":{"value":{"entity-type":"item","numeric-id":3041173,"id":"Q3041173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4198749$560AF451-FE27-4AB1-97B6-6E47389D774D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q4198749$44C7D182-6B80-4643-9BCD-8B66D93AB087","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198749$3CDA0FB3-7E76-4D0F-9E72-3B99E334AECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198749$BE2B4CE5-7466-43DC-A435-752E8A13D300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198749$07BF11BB-6FFD-4457-905F-7430A25CB249","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c59de1e3f867f512bcdeec4c2b95b9d4ebbd8dc","datavalue":{"value":"3637853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198749$26144F4E-4073-4ED1-B192-D0AB8A498F86","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61ddf0e30b9062c0b064797705e53dba645e3f32","datavalue":{"value":"length of derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198749$CA2A29A4-D99F-4FE8-8521-FBAF838AE439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198749$40E94372-0D56-4EB3-959A-42063A9EE73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e69071577faa198b0bc31750974bf633e11c91c3","datavalue":{"value":"normal-form theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198749$0B6D46A5-9FBE-4FCE-8A67-A829C25ADD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be402c81f454fee58996997920b03b64b0bbe54e","datavalue":{"value":"lengths of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198749$C0D4484D-4287-41DD-8045-C02CC6BEA8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8678627aab26432cf94eab2dec430849543f58ba","datavalue":{"value":"cut-elemination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198749$7B6B3D27-66BF-4BF7-8571-7FBC1139203D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7849cf4967868e1682e85fd08af647be01332b1a","datavalue":{"value":"speed-up","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198749$F2EE1F6C-E962-479D-ADFB-E2F06DDEE5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9be139b81f91bfa4251515c34a6ed4bc0a5c664","datavalue":{"value":"bounds for proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198749$C2EBB047-05CB-4B7E-B01D-96E5D035E9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7227247e26a7a4e3cf718a9747f1fd0491872cd1","datavalue":{"value":"predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198749$29E60622-4E11-48A4-9AE7-93C9BCAF6C09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed31a4165b5bd145424a4e7b9d2ddad3df63e8d3","datavalue":{"value":{"entity-type":"item","numeric-id":754194,"id":"Q754194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4198749$4B5B7324-F897-4CDB-AA38-7CCAD3DB3E3B","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":"Q4198749$1C10C720-1478-487E-83BB-6E36C0CC0AEA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f5625ada67f9f89779fdb19a885820c92a09d4f","datavalue":{"value":"https://doi.org/10.1016/0003-4843(78)90011-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q4198749$6A015B1D-0B5C-44C2-B781-129B40C2AF18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5594c06556e2a539da1c7b16a893f6cfe264da7d","datavalue":{"value":"W2056365917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198749$EA2F1B42-43AD-4740-8A6A-B12803A6BE36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4198749","badges":[]}}}}}