{"entities":{"Q5119552":{"pageid":7149126,"ns":120,"title":"Item:Q5119552","lastrevid":55381456,"modified":"2026-02-17T15:02:26Z","type":"item","id":"Q5119552","labels":{"en":{"language":"en","value":"Witness theory. Notes on \\(\\lambda\\)-calculus and logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7241864"}},"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":"Q5119552$54C508A0-3FFF-4CB0-AF18-E57E28E7C004","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e0e90be1d62f1335a9628c9fff612cad845dead","datavalue":{"value":{"entity-type":"item","numeric-id":897486,"id":"Q897486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119552$AC9D7DD5-43D9-4783-B436-582ED8A0334B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe1baa5601cc10f8a7eba35bfd47c4c60febe19f","datavalue":{"value":{"time":"+2020-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5119552$F4144B25-C8C9-4A10-923B-11907834BCF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5119552$3D27CFE7-19D7-487A-A4A7-CC36AE52BFA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe4f025e051cc32955cdb1652ed4f474b78616af","datavalue":{"value":"7241864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5119552$1AF458FD-9A14-424A-BADD-180A566167E1","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":"Q5119552$8A77B23A-9780-4023-A514-3ED4C6BD8F2E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63b644f0db550959452a6b37c2ace79081a94270","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb1b55e06d231adcd8115ccc0a0f951dc9706723","datavalue":{"value":{"amount":"+0.7278760671615601","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":"Q5119552$1281658D-07F4-4243-BECA-018B2E36DB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e653c6a3446968fd019febeccb6f5e0a749547d","datavalue":{"value":{"entity-type":"item","numeric-id":2757810,"id":"Q2757810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fef557e3e41757ab83862fc0a21ac382ec14b1d","datavalue":{"value":{"amount":"+0.7264648675918579","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":"Q5119552$D6B97E6E-17C9-4A56-8F1F-BC054F83A08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f8ddf71b2d5cd28cd251b780e95170840ac8ba","datavalue":{"value":{"entity-type":"item","numeric-id":1408657,"id":"Q1408657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95a692feae64d43da4a795b687bd79a1c2a4aeb6","datavalue":{"value":{"amount":"+0.7255083918571472","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":"Q5119552$32DE8BA1-4868-4ADC-AD5B-E01D5702AC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd2301c01e5e9f3d307e1b6269fd84d28f55e4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2804319,"id":"Q2804319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dddc98055d231b22862fa7e8ccc2af02f507ee83","datavalue":{"value":{"amount":"+0.7248194217681885","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":"Q5119552$D5B46741-44CD-49E2-95FD-7985712C2FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"419b7fbdbc0e49055f8085b2a7b756682bc430ca","datavalue":{"value":{"entity-type":"item","numeric-id":982183,"id":"Q982183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17e53ebce43fdfbffc301bea243c82fbbb23ac4f","datavalue":{"value":{"amount":"+0.7129092216491699","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":"Q5119552$DA531EA0-9888-401C-8B20-B179F2067A40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5119552","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5119552"}}}}}