{"entities":{"Q4646655":{"pageid":6676236,"ns":120,"title":"Item:Q4646655","lastrevid":53319656,"modified":"2026-01-24T17:38:41Z","type":"item","id":"Q4646655","labels":{"en":{"language":"en","value":"Generalisation of proof simulation procedures for Frege systems by M. L. Bonet and S. R. Buss"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001324"}},"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":"Q4646655$688FDF8A-027B-404D-BC8F-9C40C6A03470","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a4ec0ccbba64644679e5f2e9458f792dadc67bd","datavalue":{"value":{"text":"Generalisation of proof simulation procedures for Frege systems by M.L.\u00a0Bonet and S.R.\u00a0Buss","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4646655$64669886-4888-4CBA-9B31-2B1B73E2AB1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1657ad190857459cf67355eb4c15829f7db6537e","datavalue":{"value":"1436.03299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4646655$EC858E50-B9F2-46DA-9047-A8FCF36D6A61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"996c6482f07d08fa95a86f22209bfbd9cee127e3","datavalue":{"value":"10.1080/11663081.2018.1525208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4646655$3F1C5C82-AD07-412E-933B-42F6A4F028C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28900ca7f4e898f23eab43d9d659d0a2c9336aa0","datavalue":{"value":{"entity-type":"item","numeric-id":2021562,"id":"Q2021562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646655$151D6D87-5D30-48F1-A372-D91E7FA7985A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646655$5C204CF4-AE8D-4BB3-9EC1-6A5D7FC88EEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e12b45aab6c1c4f0d6536185bb54aaca2e66e37b","datavalue":{"value":{"time":"+2019-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4646655$E7312999-D552-4E2D-A365-61483222B743","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4646655$0C36F0F4-7735-4D54-A314-2E08AEB89108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4646655$73F3864D-9B66-4E07-A05A-A18692B4C2BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fd33605e21ef1fca5dfb2bd613985c641fb1d55","datavalue":{"value":"7001324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4646655$26DCBBE1-2CA8-4381-8CE9-EE981D3CE308","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"045349298ffada4ac1aa79022691d3e4565aca66","datavalue":{"value":"finite-valued \u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4646655$61DC67DE-B3A0-4FEC-A747-CF2F327EA769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f7e939acf4ed91cdd39f1bd56576107c47fb06","datavalue":{"value":"Frege systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4646655$8D7E7E0F-A1C4-411C-9361-7993049FB3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaf6e94288141f1515daf1eb0022e38bd359eb1c","datavalue":{"value":"disjunction elimination rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4646655$E387F02A-F2BA-4A5B-A108-D7E595226BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5066d106de7bba59f2d3293d582b91d42abcaae","datavalue":{"value":"proof simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4646655$27F4F6B1-02EB-4C3E-B467-BB7DAC844E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9429c31f4d94616162aba961d8f1bfe6fc6a7665","datavalue":{"value":"hypersequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4646655$E099366B-EA3C-4431-9C62-D6B248B64465","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":"Q4646655$3910AF33-EE05-4C66-8351-F391451E5118","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19253a97b804b8c51066219e25490abb70a6c86c","datavalue":{"value":"https://doi.org/10.1080/11663081.2018.1525208","type":"string"},"datatype":"url"},"type":"statement","id":"Q4646655$A5558E7F-9C58-47DE-AA6F-B41FFF2D4A39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71ac89abcf2082c41f267b470880c2dedc31e8a1","datavalue":{"value":"W2896871387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4646655$212E333B-477D-4C6A-A0D3-E226ABFD1E9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"43cb3ade3f2f5cdf738cd2fdc612982bf7c12bd6","datavalue":{"value":{"entity-type":"item","numeric-id":3981456,"id":"Q3981456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646655$6E888C3B-49FD-4FCC-8194-979DA56DF2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377f1ee0821f6dd6d9302640db3dfcdf3c856500","datavalue":{"value":{"entity-type":"item","numeric-id":5869518,"id":"Q5869518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646655$544D0DBB-089C-4CB5-AF26-40885C419DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84f26cdf3dbb7656aa8d1a8c3c3f68e3d28b0f44","datavalue":{"value":{"entity-type":"item","numeric-id":3138022,"id":"Q3138022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646655$8C6AF086-E833-4A3D-BA27-4B5E8338D190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47e26b940d3b51ccc937367b655d892532c0c916","datavalue":{"value":{"entity-type":"item","numeric-id":4326856,"id":"Q4326856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646655$20880253-8C0E-4226-94C1-6F12DB5EE0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f31cbeafb74eb2331031a6d2305fa02411af3e7","datavalue":{"value":{"entity-type":"item","numeric-id":3775553,"id":"Q3775553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646655$A9448DEC-C6F0-432B-BDE2-E8A167DB3383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646655$9318D1D9-9CEE-49BF-BB94-8268D8266565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81494301ed40478ad47563138f01784b63003971","datavalue":{"value":{"entity-type":"item","numeric-id":4152212,"id":"Q4152212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646655$9F4668CF-EB93-490E-9279-CF9BD1BDDCE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646655$B7421939-3199-44FD-844E-E4E14EEB3FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f660261386a269c5c6d007e1774c790f4ddf72ec","datavalue":{"value":{"entity-type":"item","numeric-id":5815602,"id":"Q5815602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646655$1FDD11B3-5689-4E2E-85F3-DBCF981BB4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646655$08F7FE47-A47B-40A5-A83E-D3595A4A950E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646655$3FF76405-FF2F-41B6-9098-3C235C245CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff1803fde0abca892b67ad3b3b6752abf5aba40","datavalue":{"value":{"entity-type":"item","numeric-id":4450446,"id":"Q4450446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646655$F02C3BF6-1964-40DC-815B-17A35C30F818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646655$CF268423-893F-4BA7-B46E-BA80AF9167BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff4ee6a73fbacbcf6d7da620a82d0b3fbe596a6","datavalue":{"value":{"entity-type":"item","numeric-id":876385,"id":"Q876385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646655$DBF050FB-10FC-489B-8F27-739C912324CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27af1b7852a24d15cb98fd91aac427024f3784b9","datavalue":{"value":{"entity-type":"item","numeric-id":1006613,"id":"Q1006613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646655$80464E0E-B165-4C3D-AD88-569749D6F871","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":"Q4646655$7D547A62-80C5-4AEC-8A59-D8F11CE9E9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d0cfa828a91c910cf0b4e2ee22882f19dc03ef4","datavalue":{"value":{"entity-type":"item","numeric-id":4683217,"id":"Q4683217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646655$7C4725D3-5A1D-4F51-A44B-6B193F46B871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9daa4057ed7a04c427228a37f513d691eccddc","datavalue":{"value":{"entity-type":"item","numeric-id":2757973,"id":"Q2757973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646655$C7B7DFAA-D46D-41CC-A69D-3FA943190D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a602e18d89c22cebee11350c338f4302290223b9","datavalue":{"value":{"entity-type":"item","numeric-id":5215504,"id":"Q5215504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646655$B564D7E8-99D2-4021-883D-3B3EBA906A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab1fe90047380afc1daf9baef7e2fcc977b0c01c","datavalue":{"value":{"entity-type":"item","numeric-id":4474836,"id":"Q4474836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646655$18A2CF80-C993-4B27-9A5F-F3EA9B3F91B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646655$CD0F50D8-FD5A-4123-9340-510A59614A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646655$D5BBF63B-8DD3-4794-AD71-D9F50B6FE978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed247cfaa9f806167217df5f2ac409bdf00e763","datavalue":{"value":{"entity-type":"item","numeric-id":4982110,"id":"Q4982110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646655$174A820A-23AC-4177-8A03-43D2429C541A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646655$8979E55D-5796-4360-8CC1-7A9DAF3B0F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3bb773a7fbf7097dd8a166b0b3d807f33bdac70","datavalue":{"value":{"entity-type":"item","numeric-id":1110497,"id":"Q1110497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4646655$A90ED023-554E-4F9A-999D-1BB2B78CB4EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97040c746017999b59eca5ee9e0197e24e4c2c2","datavalue":{"value":{"entity-type":"item","numeric-id":3138022,"id":"Q3138022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dbab926b274ce2b16483568b452a66661f95fb6","datavalue":{"value":{"amount":"+0.7947258353233337","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":"Q4646655$F2E22B1D-A14E-43A3-ADF2-8369B80028D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"737f55dcc5561a4a3e74d15291cf2a3a1e7aa5c9","datavalue":{"value":{"entity-type":"item","numeric-id":4487257,"id":"Q4487257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dbab926b274ce2b16483568b452a66661f95fb6","datavalue":{"value":{"amount":"+0.7947258353233337","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":"Q4646655$C930A251-6D4A-486A-A728-E04AE4072FA2","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":"f8a6a560a2be7ea92646ed07d140d81a81a1d454","datavalue":{"value":{"amount":"+0.7645242810249329","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":"Q4646655$815F1857-1410-4D41-8855-00856C0CEE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4369ff79a108f5e22c0a0b6f7e932f476cb1d34a","datavalue":{"value":{"entity-type":"item","numeric-id":3680812,"id":"Q3680812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35b9fcd2806564c47a6f80d0adbac5f189a3945f","datavalue":{"value":{"amount":"+0.7617226839065552","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":"Q4646655$5FC380C2-9F9C-423C-8FEC-5012C651DB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e4cc9ec7a0135f44df969075dbf78edd49501ac","datavalue":{"value":{"entity-type":"item","numeric-id":4683217,"id":"Q4683217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e551c7ae605264618d63cca76e5d2eb512a17ea","datavalue":{"value":{"amount":"+0.7457548379898071","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":"Q4646655$2D620EFD-1A82-45F8-B237-F505CC08F531","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4646655","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4646655"}}}}}