{"entities":{"Q4250055":{"pageid":6279656,"ns":120,"title":"Item:Q4250055","lastrevid":46831062,"modified":"2025-12-25T16:36:54Z","type":"item","id":"Q4250055","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303445"}},"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":"Q4250055$A2B2D564-A6D4-4DDB-8B39-29C0A79D0E81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ffad0549ad6ac6aee1701aebb945a4aea3070f0f","datavalue":{"value":"0926.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250055$6073D56E-22FB-4120-A362-E3F7C61561BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2a3a19e5951e9c43e667436e7cc0790d99ea306","datavalue":{"value":{"entity-type":"item","numeric-id":227766,"id":"Q227766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4250055$6D225AD2-D27E-4D27-B262-2C2B29CC995C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38736b16377d65c133558922b8d6a1a038ca7912","datavalue":{"value":{"time":"+1999-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4250055$175754DE-A127-40A6-8CAA-31725919246C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250055$5D174416-6D31-4066-B8EC-F98638E6D17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250055$637FA9F4-7E96-42EE-8929-DE2A865338B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250055$457DA02E-4BF3-463D-AEE2-75CA00FC8453","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45482775737f659c4fc20b3e018f1b276d613500","datavalue":{"value":"1303445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250055$66EF5067-EB45-4E24-87EC-77DA0B59FD54","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250055$5DB40E8A-017E-4564-8576-E32B1CA52EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250055$07FEFCB8-AB3C-4F44-A33B-A7B276C090C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250055$51E5D47C-155E-42EC-BF85-47892ADCE862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa9650353867d79d32521769ecf2a56fe1c7a0f4","datavalue":{"value":"proof calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250055$D883076C-BC4E-4E55-B5C6-AEC302917BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"305c65494d0d12ef65f1ec94888c98a3521fac71","datavalue":{"value":"tree models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250055$1E53BE6D-9FB0-4BCB-8D50-50705FA359E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3cbc7bf2fd403b3a36d9b9178568383e39236dd","datavalue":{"value":"relational deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250055$3931AC67-D039-4606-966C-D3AA0355601C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e263df5cc90ddc287feb49469ec9dd8523cd02c","datavalue":{"value":"language models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250055$7A3E92F0-C142-4F2E-AA97-DA861D190B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cff52f1f8df429852ad8af8776d8a3d505548d","datavalue":{"value":"relational calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250055$647D08AB-DDE9-4981-BA9F-38B57D27B5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38d516d810c051a54b64bbe041a9ab4f04b511f","datavalue":{"value":"logic of information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250055$8ED6C59A-4416-4D48-AA10-D7D7B2BA3DFB","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":"Q4250055$35C95404-1B0D-4137-846D-AFD343E114F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef525d9b17c81bd28c54ab31c3ccf89697726a3","datavalue":{"value":{"entity-type":"item","numeric-id":1314508,"id":"Q1314508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e129c589754f68253996f0060a82240440322bfc","datavalue":{"value":{"amount":"+0.7843433022499084","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":"Q4250055$8ED4F150-4644-4A17-BDF5-4710E301ACC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5f1421ddc19cb37454fbfa7aa89020dbdf60de","datavalue":{"value":{"entity-type":"item","numeric-id":4212926,"id":"Q4212926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aae1619115c6ec9a79c3eae10426b765bdb69c5f","datavalue":{"value":{"amount":"+0.781464695930481","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":"Q4250055$BFFEC1FB-3E9C-4ACE-B1F0-1F789A4234FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b74440cc62d975fc47553ad5ca791068767e8dc","datavalue":{"value":{"entity-type":"item","numeric-id":4238425,"id":"Q4238425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6506bbcd6ea77e87aec19a40ad5247f4f7ac7671","datavalue":{"value":{"amount":"+0.7762154340744019","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":"Q4250055$4B340433-8FF3-478D-8665-098401029601","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4250055","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4250055"}}}}}