{"entities":{"Q2096460":{"pageid":2107203,"ns":120,"title":"Item:Q2096460","lastrevid":43513162,"modified":"2025-07-30T11:23:27Z","type":"item","id":"Q2096460","labels":{"en":{"language":"en","value":"Logic-independent proof search in logical frameworks (short paper)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614524"}},"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":"Q2096460$0E87B8B0-ADCC-43A7-8A56-C1EEEC4BBB91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64399baa86fceb24b982e02c6dc8fcea4037b6f4","datavalue":{"value":{"text":"Logic-independent proof search in logical frameworks (short paper)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2096460$497B4A63-5616-4B93-9593-DF7A676B0509","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9925982fd1eaec86d871eba8dc2dea70133cc9f","datavalue":{"value":"10.1007/978-3-030-51074-9_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096460$74FF2012-9087-48B1-ACBE-EEAA387E1E19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2058e152866416201cc45ced58405f55031245a7","datavalue":{"value":{"entity-type":"item","numeric-id":219445,"id":"Q219445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096460$7A1A0D7A-BB03-49E9-AEEB-BDC8770C8648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc5ea7724245f13d1458583f67e1c62f50c4bfe7","datavalue":{"value":{"entity-type":"item","numeric-id":263102,"id":"Q263102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096460$914FD0DB-3286-4837-BBC8-64EB2CE4599D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6fcc0863f3310792433a26fbf0220fe6380173d","datavalue":{"value":{"entity-type":"item","numeric-id":651318,"id":"Q651318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096460$EC5CB784-2782-4EFD-B9DA-B3FA1B5F45C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"150af473e6fbc2d65fa5c06f9fec088985a51402","datavalue":{"value":{"entity-type":"item","numeric-id":2096459,"id":"Q2096459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096460$58472CDD-D819-462C-A690-E84C56CE47EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2096460$FD41A693-A227-4860-9C85-62E941ECE4AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096460$8589EA71-D2B2-4F1A-AEBB-005AEE4BAE86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27939c6a9a7f2c2eaaacd697a87b27b934cb0d72","datavalue":{"value":"7614524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096460$2EF0D151-FEFD-42BA-8097-F6F035C61C88","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"508550ebaab26f61bce028d9d0c98cfa1d6470f5","datavalue":{"value":{"entity-type":"item","numeric-id":25581,"id":"Q25581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096460$2E182D4B-4EE9-4188-BC5A-44FAFB5129C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096460$1AA88FE9-B1D2-460C-8D45-F2F735E97180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8617a61c90a632f23d3851deb94e1069d2479a78","datavalue":{"value":{"entity-type":"item","numeric-id":13268,"id":"Q13268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096460$9DD5B8A0-4511-4FF7-A2CF-4A73178A8483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"205d869fa000d5392cc92b69ce8e6b60676d4e85","datavalue":{"value":{"entity-type":"item","numeric-id":31524,"id":"Q31524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096460$D1D0F8E4-CA34-42AD-9BC2-3B6CFFE15CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a2e99bf2d721f734420e941cd08910602eca6fc","datavalue":{"value":{"entity-type":"item","numeric-id":23924,"id":"Q23924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096460$311DD1B2-464F-4B44-9E96-E7E59D748C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096460$28474F8F-D18F-4237-A646-4C85EA04BF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096460$2733F8B2-F3E6-4D93-BB08-8F6FC7CA330C","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":"Q2096460$CE062419-EEAC-4609-A5C5-0C811D2C1E97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db90a28b564ab15a788d977e9b4465611843cb01","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51074-9_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2096460$25BAB155-17B7-4AC2-8E07-096E9611AA11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6705c03290edb4e0bbceafe05117f1e37aeaf074","datavalue":{"value":"W3039099885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096460$CD92ECC9-BB47-4513-B153-574F2496DE0E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4adc22ed174f33297ffa675f67b5ee27a98ff71c","datavalue":{"value":{"entity-type":"item","numeric-id":3541699,"id":"Q3541699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096460$162A0B96-A10E-4FE4-A835-293D1303CFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72ec4eed4985602e7824e9b3bf75884c0f15d45","datavalue":{"value":{"entity-type":"item","numeric-id":4928436,"id":"Q4928436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096460$9F1AB619-2D28-4649-895D-91EE2545FB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b176c2a356ba8de8a18b774ac2537d3b09f8fb","datavalue":{"value":{"entity-type":"item","numeric-id":5200129,"id":"Q5200129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096460$45C13780-F335-48A3-AB44-EFA054A21720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096460$5FD1DA83-F808-411F-AC46-4C3D5ADF61CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af26b60b7825c93ec8b19f47a61fa8107ddcedd9","datavalue":{"value":{"entity-type":"item","numeric-id":4454093,"id":"Q4454093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096460$369ABF8B-CC31-433A-8C33-8D3CA2E491F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096460$931B9898-8112-4A46-93FD-18030AADEFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b33986f59fa18cd060155d2e9e24a78d8bd71490","datavalue":{"value":{"entity-type":"item","numeric-id":3133182,"id":"Q3133182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096460$7DE581B9-A2CA-4898-A4F0-95D8E175A8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d284d3472d35d2cc3b63390bb184a9355795123","datavalue":{"value":{"entity-type":"item","numeric-id":4617969,"id":"Q4617969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096460$ADC68FD6-366D-407F-85CC-74F1ABD04D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdb0c1f9f2f4f0f367fdd5b1ecf54b5aaa23ad52","datavalue":{"value":{"entity-type":"item","numeric-id":4819368,"id":"Q4819368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096460$9C4AD8D7-8A7F-46C4-86BE-BA5671E808A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc1b22f5baf13e82191ad3bb21df49ebf4f88d1","datavalue":{"value":{"entity-type":"item","numeric-id":3460075,"id":"Q3460075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096460$88D12AD1-8714-4B6C-9B9D-5F8C2E290BAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2096460","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2096460"}}}}}