{"entities":{"Q4375805":{"pageid":6405404,"ns":120,"title":"Item:Q4375805","lastrevid":46994124,"modified":"2025-12-26T00:33:13Z","type":"item","id":"Q4375805","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1114036"}},"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":"Q4375805$07C5BBE6-4E5A-4225-B33C-F097AB2EBE2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59324ac29949ea67ae3ba50b882337e35a377f98","datavalue":{"value":"0886.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375805$027BF377-9954-4C67-8F74-1EA0DAC7101D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4d197b4fdb0e2bea73325927642730843ba1577","datavalue":{"value":{"entity-type":"item","numeric-id":2465423,"id":"Q2465423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375805$6DC1E182-E0FC-4FB0-8148-D793EA9F3D8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b347c1d8ecdf364bbce1657b40174d833d0dfdc1","datavalue":{"value":{"time":"+1998-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4375805$AE36888C-1A90-4A39-AD7E-33BF74F8A73A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375805$C29D42F9-5A47-40E2-81D2-2A4E09201416","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"795738f837363cfd8bd0de0c46e50df6a21d0330","datavalue":{"value":"1114036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375805$D150DA25-214A-42E8-BA55-F618F25DAD29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5c69420e617fd32bf6a4203f58356b04114a53c","datavalue":{"value":"noncommutative linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375805$6E449D31-8FCC-47E7-BB18-70BA54E158A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0f9a45e5c019b9367c1e3bd71638ce57762ac9c","datavalue":{"value":"logic of predicates with equality and explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375805$ABA51705-2589-4531-AB80-8336D4801752","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":"Q4375805$ABC0EFC5-D397-4DF3-8798-4F0E2CCA6450","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa6cab5002c1b28daecae7b8987e6ad707cf7a65","datavalue":{"value":{"entity-type":"item","numeric-id":1193657,"id":"Q1193657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1ffa5a8b38550340673610c6629745165696b57","datavalue":{"value":{"amount":"+0.7483245134353638","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":"Q4375805$81664321-BC2C-4BFB-9D66-44900E898BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be33ad98c42559a8897ed8ceaedaeb4fd7d5c941","datavalue":{"value":{"entity-type":"item","numeric-id":4471519,"id":"Q4471519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d45fa1ee7a12280ba3b0797482b094562122c576","datavalue":{"value":{"amount":"+0.7318906188011169","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":"Q4375805$7A0771B1-7713-422A-8E6B-89B741CE532C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7723f5c3c6fc6b0a21079c4bd63fa1db7bdd52a2","datavalue":{"value":{"entity-type":"item","numeric-id":3007266,"id":"Q3007266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1e86129cf850863cccc62bd8a533a5b1f38b54","datavalue":{"value":{"amount":"+0.7312646508216858","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":"Q4375805$97C36692-DCAA-4791-96CF-B94041AB106F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42917be076bd4b0e5194f26c7ff7ab1fa4398f2","datavalue":{"value":{"entity-type":"item","numeric-id":1288431,"id":"Q1288431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"031e41c367d7f442261c715e136ea98f05df2860","datavalue":{"value":{"amount":"+0.7301065325737","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":"Q4375805$A5C6EDDD-BD19-458F-9839-7D58F2F53556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"992386b5c7846a62c5ba47bdbcb74781227e73d5","datavalue":{"value":{"entity-type":"item","numeric-id":2774267,"id":"Q2774267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c359b062acb46912be29bed91f209a6b405df90","datavalue":{"value":{"amount":"+0.7254271507263184","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":"Q4375805$1E1D6E51-DA1E-4E09-B2C4-51BCDAE34F5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4375805","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4375805"}}}}}