{"entities":{"Q5505525":{"pageid":7535085,"ns":120,"title":"Item:Q5505525","lastrevid":96531497,"modified":"2026-06-05T11:31:39Z","type":"item","id":"Q5505525","labels":{"en":{"language":"en","value":"Herbrand Sequent Extraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498248"}},"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":"Q5505525$B88CE454-937E-4BB6-ABA4-91A4CA598B2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"258de3e66a950d9630894a270255c72ad5e4b0e9","datavalue":{"value":{"text":"Herbrand Sequent Extraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505525$8162EE18-5C8D-4CFB-9D65-45A37109C7CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfe725bf9b0cfa60ebda6eb63fc2397f8799e832","datavalue":{"value":"1166.68347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505525$C030B7C2-61F9-4270-8478-EDE9D036FDC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adf1e86ed0211a3e3d39d8ee7630b083f9ee0b8d","datavalue":{"value":"10.1007/978-3-540-85110-3_38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505525$6F8DC5B8-95C0-461F-B826-CD8F4836A99E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac16dcce5f3df8b1bf1087e5a90fdae80fa7a2e5","datavalue":{"value":{"entity-type":"item","numeric-id":402112,"id":"Q402112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505525$3AFF1601-AF35-4190-94A3-027ACB123FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53993ae6db4350dacb1d3d4f5370b18b73e58da6","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505525$6AA23920-A59D-45C3-B0F8-B649697F150D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcfb9bbb17b1f1dc2e6c305c640f7c0f522c3f5e","datavalue":{"value":{"entity-type":"item","numeric-id":402114,"id":"Q402114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505525$8B1B3293-4DFE-489D-A968-07309774C1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0365ec2945198187c9a57348ee998a5f73811baf","datavalue":{"value":{"entity-type":"item","numeric-id":523302,"id":"Q523302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505525$166CBB34-ACAF-4B3F-A5B1-B267B2D7262D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505525$130FA6B1-58BF-4431-ABAB-EC790D967FFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505525$0A8C8AA2-D73F-4805-8283-B858B85554AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1310685537043c782df9fe953242e9b9e0902489","datavalue":{"value":"http://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-18086","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505525$919CA491-54B3-4269-A88A-6C0F9E30B371","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505525$5D99A3CF-4B0B-4F05-B67D-24676492AFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505525$27CA1439-8BC6-4F48-97C7-A5DDC8618715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505525$8F14A919-043F-46D6-B043-6690F6547534","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5b4763bdb05328b1a587553d33111542a1a0948","datavalue":{"value":"5498248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505525$C0188E24-B134-4773-A8D1-84B543091019","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":"Q5505525$AE995EB8-E04E-41F4-9D2D-2405C89C4083","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff453c8378c047ab2bf4d568a18189df165f03a0","datavalue":{"value":"W2117600025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505525$BED97834-8EA8-4A40-B534-EC4FBCF6C015","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93bcd041174ccd48e10bcb2ce475e4ab10d2f70d","datavalue":{"value":{"entity-type":"item","numeric-id":944367,"id":"Q944367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505525$9A4E0B9C-8167-4990-B16D-87773100BD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9971824e365b87038a762d44dbf9be6146ef8271","datavalue":{"value":{"entity-type":"item","numeric-id":5705944,"id":"Q5705944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505525$03A87A4A-A8CC-4DDF-B498-0131397C8E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fbbdce3d319868b6dc8ed64beafab590c70e044","datavalue":{"value":{"entity-type":"item","numeric-id":5756761,"id":"Q5756761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505525$01A9636C-04CE-48B6-81CD-288A4E9CA76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b559e594edc07777117cb084e905ea94187a1df3","datavalue":{"value":{"entity-type":"item","numeric-id":4304753,"id":"Q4304753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505525$EEB84759-29E3-4BA8-963A-DEAA392A1F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0508654f8dbc2c54065d5adc87d2e81f95024db","datavalue":{"value":{"entity-type":"item","numeric-id":1302302,"id":"Q1302302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505525$C6FA650C-29E0-4D22-A820-963054144436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1079b6d698a143d8d07f3dc7f4c3c2ed61bd0760","datavalue":{"value":{"entity-type":"item","numeric-id":5927981,"id":"Q5927981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505525$D4720E27-4C96-4ACD-A438-F15AE3D2F380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505525$3879ABC7-5223-4912-9A98-6B9918970404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98492c4789301c3cc74d78c8a616826720096e7d","datavalue":{"value":{"entity-type":"item","numeric-id":2486989,"id":"Q2486989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505525$E0EE528D-B4F0-41CC-89DA-1E1B8BAEBF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb62a53671226a3f0f80156070ba8dac68f4ebb2","datavalue":{"value":{"entity-type":"item","numeric-id":5426006,"id":"Q5426006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505525$74A5858C-13CC-42F3-8A9D-1E93BC442479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d71305c8d9d041668e564bf7f2f69f04f88a1b7","datavalue":{"value":{"entity-type":"item","numeric-id":3822154,"id":"Q3822154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505525$099302EE-D37E-42DD-91EE-CF8F34FA2EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1813c495b4019dbc5a0338bf865711982b775489","datavalue":{"value":{"entity-type":"item","numeric-id":4198750,"id":"Q4198750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505525$2FA44C2F-D479-44C4-8690-91F2989B54E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66ed1fd88663850940208777b453a5e31171f5d4","datavalue":{"value":{"entity-type":"item","numeric-id":5486135,"id":"Q5486135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505525$03A71425-AF3C-470D-AF47-590A7D78956A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46faa8f9dd9d2db15375b6f86cd9184a54fb226e","datavalue":{"value":{"entity-type":"item","numeric-id":5505525,"id":"Q5505525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505525$6B4032BF-20EF-4476-A1A6-D5B15C768946","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a747b35f96986626e096eb10bb9a93b4c83ed6da","datavalue":{"value":{"entity-type":"item","numeric-id":5747781,"id":"Q5747781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36c2dee4fa75743f0082a474fce5dddd919250a5","datavalue":{"value":{"amount":"+0.7776327729225159","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":"Q5505525$8AABF2A1-570E-448F-BAD5-DD80F92D02DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1590ce945709859e583973741e1267839f8cd55b","datavalue":{"value":{"entity-type":"item","numeric-id":2486989,"id":"Q2486989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74531cad458418ddac58f157e39327e8f2b21f1b","datavalue":{"value":{"amount":"+0.7758560180664062","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":"Q5505525$209A2962-0AF0-434F-B331-E279F9104403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cef1371f5589bca272d96aa9ed40568be4eab73","datavalue":{"value":{"entity-type":"item","numeric-id":1987218,"id":"Q1987218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b5e29c9e01060442cf47dd0353b3c95ab6ebc0","datavalue":{"value":{"amount":"+0.7639957666397095","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":"Q5505525$C5A0FFEC-C6B2-41B5-BB26-2BC065B45B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78e05ea5b7d7260ca535be85672730a3681c9e77","datavalue":{"value":{"entity-type":"item","numeric-id":2871477,"id":"Q2871477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c71f7590231ee77b2bb92c76a4815ffe8a1c8ddd","datavalue":{"value":{"amount":"+0.7638338208198547","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":"Q5505525$5A502FBC-80D7-49BD-A3BA-CE2FEA69B7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95330b6380a0d5189187a11071d582fd9182a70a","datavalue":{"value":{"entity-type":"item","numeric-id":2502163,"id":"Q2502163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43e18681cf019bf84d277656e6b28b9191f80c3f","datavalue":{"value":{"amount":"+0.7614124417304993","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":"Q5505525$BC980064-2FE8-4B29-B356-7BB03909CD85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Herbrand Sequent Extraction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Herbrand_Sequent_Extraction"}}}}}