{"entities":{"Q2547494":{"pageid":2558237,"ns":120,"title":"Item:Q2547494","lastrevid":44320887,"modified":"2025-11-21T23:42:10Z","type":"item","id":"Q2547494","labels":{"en":{"language":"en","value":"Extracting information from resolution proof trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3351215"}},"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":"Q2547494$5FA59F8F-A157-4F0A-98D9-FB8319227040","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a2867e65a8bbba050f7661f97b23bfb473667db","datavalue":{"value":{"text":"Extracting information from resolution proof trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2547494$853F4C6B-9174-4ED2-AC07-68FB871DAE3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5acd2be4e2e5781f902544ba9a3ceb3e5eb6b632","datavalue":{"value":"0221.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2547494$1637F9AE-70E0-4E53-8F2F-3E46506251D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5231e65f895fef253f44b1f026f325f01bf3275","datavalue":{"value":"10.1016/0004-3702(71)90003-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2547494$D391357A-9487-4A69-8179-6AD7DE1FF4AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3af116dba622053c3e73d8f818f795033fcfc6e","datavalue":{"value":{"entity-type":"item","numeric-id":578888,"id":"Q578888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2547494$1D19397D-4A94-43A4-A549-FD0937822915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b5fc245d6c2f488a185c542bc48081bcf8ff7ab","datavalue":{"value":{"entity-type":"item","numeric-id":1073781,"id":"Q1073781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2547494$6800190F-C9A8-4DDB-9C19-DFDE94D6843D","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":"Q2547494$621A5DC9-73BD-4944-83CA-ABB5D733F02E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"652ad65ffdd573691be68fbfe67aa0cdf6812549","datavalue":{"value":{"time":"+1971-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":"Q2547494$762529C9-E86B-41A4-96EF-BB6F76DEDF77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2547494$440D27B8-1598-4083-8E01-66F2FAD0CD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2547494$CC45DE64-97B2-4F95-AFD7-73F7B1F9B8DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e04c427698b5c741bcba431c3fdc7646e60b4f3c","datavalue":{"value":"3351215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2547494$20626FB1-2485-4810-9569-E748508E0B37","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":"Q2547494$ECF7CE28-D559-444D-857E-E5D35B18AE91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c26448174bf4c9ce33cabd40f80fd75ab9c9db8","datavalue":{"value":"https://doi.org/10.1016/0004-3702(71)90003-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2547494$5821AD58-F4C0-4872-9C6F-6C6065F9E3D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dddde451ff0a36761d8959b1c868f68c84f9c147","datavalue":{"value":"W2044919352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2547494$DA958872-F9CF-4D05-A9A2-C8A18C385C48","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8452c1df9b2612b34848e6018918c0be8c81a6e9","datavalue":{"value":{"entity-type":"item","numeric-id":5649989,"id":"Q5649989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2547494$F20C84BC-399A-4115-920B-51535871ED36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cc73e23839d9fe8f09566ce9fc5a96bdd2a7e59","datavalue":{"value":{"entity-type":"item","numeric-id":5523665,"id":"Q5523665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2547494$36A982FE-CC0D-40C2-8CF1-A0358AF6A3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2547494$27F467C2-72A8-4A88-ABC6-05C476DC939B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89838827382acbf53ce860d7765a55008850713f","datavalue":{"value":{"entity-type":"item","numeric-id":5573405,"id":"Q5573405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2547494$D1D47BBD-B770-4A17-8458-AFE7667A9781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cc6b50da59d61e4104676cfaa2ed0a6b850865","datavalue":{"value":{"entity-type":"item","numeric-id":5619635,"id":"Q5619635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2547494$9881FA33-2123-4E0B-A41D-2E99BA8C6F34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2547494","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2547494"}}}}}