{"entities":{"Q6648177":{"pageid":14259332,"ns":120,"title":"Item:Q6648177","lastrevid":40612403,"modified":"2025-03-12T12:56:58Z","type":"item","id":"Q6648177","labels":{"en":{"language":"en","value":"Partial proof terms in the study of idealized proof search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7953770"}},"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":"Q6648177$108BDC12-A6CD-4285-A7B8-77437CF24E37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"161f1906f43450ab74bd8250672c910f18232a2b","datavalue":{"value":{"text":"Partial proof terms in the study of idealized proof search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6648177$77CD36DC-D5D6-4FEF-9069-99CDDD83BD70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"224e2877e64ddab701e4ba0fc3bf4114e918d284","datavalue":{"value":"10.1007/978-3-031-66997-2_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6648177$19502D3B-4C2B-4058-8EC8-80FEC2EA81C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89260965fad54b888baf1a3ae5b1235a01539a4b","datavalue":{"value":{"entity-type":"item","numeric-id":631759,"id":"Q631759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$B08A6E2B-E2F5-46AB-B017-8A83A02734C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"172bf8aede67ced3e7d8792771207c1a4312400e","datavalue":{"value":{"entity-type":"item","numeric-id":6648176,"id":"Q6648176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$F72246EC-78D0-4C59-9CE2-823952A5813C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccff15d9590e90858f5b15c952f30abae81c0114","datavalue":{"value":{"time":"+2024-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6648177$A02A41F9-773B-4822-8A93-5827A5BF59AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51b7800ccceb407b4c9aa81c10252a3a04dbfebf","datavalue":{"value":"68Vxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6648177$3C45DEAC-ABE8-46EB-94E3-6C9F32037F19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02e4fc0d1ebc043ed262d889a2ffaea528fd1a0e","datavalue":{"value":"7953770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6648177$35C85538-2C0F-4C68-A07A-F3023C8AA70C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q6648177$09CC651D-4777-4DF0-AE11-1ED637130525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fae224a86c7132aa85c96e5ca4a884105997e5e","datavalue":{"value":"partial proof term","type":"string"},"datatype":"string"},"type":"statement","id":"Q6648177$2A2BFE50-2E91-413E-8FFC-0ED4BC4A35F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"805e719dcf89c21004c022aa03df75b1cadd61e9","datavalue":{"value":"partial derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6648177$FED966D9-AD4B-4778-B94E-A2B34CCB4831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8820cc678636524e47a8ea8607e8b84d8fbb9b6e","datavalue":{"value":"proof state","type":"string"},"datatype":"string"},"type":"statement","id":"Q6648177$EDEC85C7-E19E-4748-B5C7-86C38F87CB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f41781e04ce8b5a53d7eeddf045b92e5e84bfa","datavalue":{"value":"focusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6648177$29C2C649-DCFD-45EC-9ECE-92485E1194A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8bae194eb38198e50cfc1399be8424a1ed360b7","datavalue":{"value":"intercalation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6648177$C56E2BD2-E6A9-417B-8AFE-AD416B51E2A9","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":"Q6648177$82527BA1-15C4-4C05-A685-7588253042EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e52cae6148e0f0c23df1633c224b5a6f19ea946","datavalue":{"value":{"entity-type":"item","numeric-id":2353633,"id":"Q2353633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$8EC6A2F5-4673-4CBD-B824-63509530FCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d604d2bd9aeb800a9974a1a32f191487a06f67e1","datavalue":{"value":{"entity-type":"item","numeric-id":3007657,"id":"Q3007657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$86ADA04C-FC01-445B-BC02-3B1C55CAD760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6886200fb8e4f741668d6d6a25ed1111c066542d","datavalue":{"value":{"entity-type":"item","numeric-id":4444935,"id":"Q4444935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$14762815-0DAC-4BEE-A296-E04EBB6C5409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdc04fe1d8a0b4fc167ea978de23099648f6768e","datavalue":{"value":{"entity-type":"item","numeric-id":5898815,"id":"Q5898815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$7661E9B7-FD8A-4656-B10A-0BDFCB2236A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3d8c86eb700bcd7804a2c549d04d7c274011c8","datavalue":{"value":{"entity-type":"item","numeric-id":1577341,"id":"Q1577341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$00D2E8FD-7B80-4FDE-9DC3-550AB883F741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"386a2942540989818d0e3d4524533a98b453bc14","datavalue":{"value":{"entity-type":"item","numeric-id":4934557,"id":"Q4934557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$82DFA81F-0875-4398-A71C-6E24970C50F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69f7e07bfb614267ea873ec9a3b1b850b5ff37fb","datavalue":{"value":{"entity-type":"item","numeric-id":4428311,"id":"Q4428311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$87D6401C-329A-40C2-B517-E77956898CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397b77818aa045666b1c8fb85764a1c15c8c07dd","datavalue":{"value":{"entity-type":"item","numeric-id":733755,"id":"Q733755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$5EE1635E-27B7-4A27-A60D-8ADE6CF21C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b849fc75ed7fe9d6284e0d254f59b60a5d84075","datavalue":{"value":{"entity-type":"item","numeric-id":1946670,"id":"Q1946670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$10B3668C-D45B-4BA2-AE5C-EB3BA7BFCF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eafd4b45b7727d46bfc34cf940db6f309ae28f9e","datavalue":{"value":{"entity-type":"item","numeric-id":1744450,"id":"Q1744450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$98DA0D05-2975-45F5-9C08-D1F45E851835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8545584cb4d78f88d8cbc337cbfb827b37124c0","datavalue":{"value":{"entity-type":"item","numeric-id":5212035,"id":"Q5212035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$663CF16D-A8FC-486D-910D-ADC0961D3119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b831d8f615468d994dff405a26a149a0ce89397","datavalue":{"value":{"entity-type":"item","numeric-id":5236550,"id":"Q5236550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$9CCE7960-4502-4D27-B853-95ED9D0CA7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e7d116affa2e7517cae3d33ee46380c0260e3d2","datavalue":{"value":{"entity-type":"item","numeric-id":2231698,"id":"Q2231698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$A4DB1391-E38F-48DC-8564-7CA951C09994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab39f3e76955eb000a374ee76583aeff145f9c9","datavalue":{"value":{"entity-type":"item","numeric-id":4411846,"id":"Q4411846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$BCA91A01-7803-42FC-A5BC-4A96BF86E8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106507d2ad7198eda87b14657c5af01d30112965","datavalue":{"value":{"entity-type":"item","numeric-id":4474830,"id":"Q4474830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$7AF2F8B9-A167-4430-BD31-5D518A73862E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd561cdaaa1e209868cdf7103b4a9c2b22003d6","datavalue":{"value":{"entity-type":"item","numeric-id":1035706,"id":"Q1035706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$717026F2-D076-4564-A38A-35578E43C418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$269F8CAF-0883-429F-A87C-5E32C8E4902A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28711599010bca9ffbebf4fe0012f8e3f98c05ed","datavalue":{"value":{"entity-type":"item","numeric-id":3999386,"id":"Q3999386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$0CE50515-B165-4667-95F8-265E2AC376FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2feb018367b7210c7f652130d3d5bb92ddea51a","datavalue":{"value":{"entity-type":"item","numeric-id":2713354,"id":"Q2713354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$60957A61-0874-46CD-9D6D-257F5AD826CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3cf00214ad87426f117357f9f2e12a2b111df32","datavalue":{"value":{"entity-type":"item","numeric-id":5958764,"id":"Q5958764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$41C24E0B-05B8-4019-BBA8-EF80EC1A2C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d621c08d6b6b648b2f02de3b6f7c65499ed1c5","datavalue":{"value":{"entity-type":"item","numeric-id":5277812,"id":"Q5277812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$FBFE2E67-654E-4319-AF01-53A3E965F240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3119a5d4adda5bd2e699c4876382475a731e86a3","datavalue":{"value":{"entity-type":"item","numeric-id":2095424,"id":"Q2095424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$5E50FA07-6A19-4152-A6D7-BC25F0C874E6","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":"Q6648177$D2FE9034-8448-4E21-9B7B-B249459AF925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfb950b174b76cc99bead09bf993e1718e4ded7d","datavalue":{"value":{"entity-type":"item","numeric-id":5351954,"id":"Q5351954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$0BB17165-B9A7-4281-AAD8-E186167D2095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f74df4601303f9c84fd6fe78b2928f4cb27f544","datavalue":{"value":{"entity-type":"item","numeric-id":1577339,"id":"Q1577339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$706C1AB5-401D-482A-A9BC-3EB90B1D5EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc5bc94b1e23a5cf2156ab50f5121b1ef748895","datavalue":{"value":{"entity-type":"item","numeric-id":5717439,"id":"Q5717439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$73ECC17A-62C3-4F42-AED4-B6817A060A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$05CB38B8-1748-4FCA-B1C6-F28DD2020DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae986ee19008aa7d1adfbf0f48061524c85116e2","datavalue":{"value":{"entity-type":"item","numeric-id":1917086,"id":"Q1917086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648177$51500F04-7EF7-4DF7-BDA2-13CBAD87A2F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6648177","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6648177"}}}}}