{"entities":{"Q4335231":{"pageid":6364831,"ns":120,"title":"Item:Q4335231","lastrevid":46722519,"modified":"2025-12-25T11:34:03Z","type":"item","id":"Q4335231","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1004877"}},"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":"Q4335231$1A342CDE-95E5-44D0-BF8F-41B478B8EC77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c48426e0e13e9fc241b8efcc89085ac4ceb2dd03","datavalue":{"value":"0876.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4335231$56C4AC2E-72F7-4BAE-8A2A-5FA82D9C82FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"210df2385c3290f4a126d253e8192b4d267a247c","datavalue":{"value":{"entity-type":"item","numeric-id":209450,"id":"Q209450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4335231$26DD2D5B-FD96-4BF3-9F23-4A2661A2BE0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6734d96f5cb9f492e2514bc1346fce61762d79e","datavalue":{"value":{"time":"+1997-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4335231$72DCB1B3-7488-4E21-B478-58DF2FB06B4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4335231$1794E474-EA0A-4F13-8622-C60392E9E79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4335231$D833E1C3-641F-4260-B1D5-931713E9051B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"630e1483ba3edec0ef2d7c1ddd781f341849488a","datavalue":{"value":"1004877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4335231$0AE37442-3E1B-4A0D-8027-39A9DEC60C34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4335231$A0778129-355F-46F0-858E-0A258CA3F63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4335231$80ACD532-9CF7-461F-8929-847227BEFC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b391abc95b7bb69bcf140fec10b38e0c3462f7db","datavalue":{"value":"propositional constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q4335231$67248EA1-ACB3-47FE-82AB-1E644E4F56FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fadd36e56a23da0d718bedfca5e6fb0acf42af92","datavalue":{"value":"minimal Girard quantales","type":"string"},"datatype":"string"},"type":"statement","id":"Q4335231$5079A3C6-67FB-45B3-A973-70C7C86C8F49","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":"Q4335231$DCF15C6B-7E8B-4BF2-97EE-2C1C2451C17F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62c6d5d17de704b47e7241793de8822370f0fde","datavalue":{"value":{"entity-type":"item","numeric-id":4716049,"id":"Q4716049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69b60210ac28b4e36fc02f63ecc7a956b23e3bd0","datavalue":{"value":{"amount":"+0.7929820418357849","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":"Q4335231$D129A057-E964-4976-8C72-68744549ECC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1ea2ae336dfe506bbe20e36d907fcc5cfbc8fcc","datavalue":{"value":{"entity-type":"item","numeric-id":3197878,"id":"Q3197878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7729acd7999f60eeab32d0b6473e7836b189c8e2","datavalue":{"value":{"amount":"+0.7657012939453125","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":"Q4335231$ED32E1F0-CABC-44D6-899F-3020F3419D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3befb1f54c3895679108012ff84c9e71223baee3","datavalue":{"value":{"entity-type":"item","numeric-id":5432904,"id":"Q5432904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f14b0ec725b3a54811bf16a5b259e6efebbffa92","datavalue":{"value":{"amount":"+0.7469474673271179","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":"Q4335231$FEE73C44-4DD5-476A-9F50-FDA382C9D39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"146caf1263e383a43f6e1d33aa6b75d2ca0aa098","datavalue":{"value":{"entity-type":"item","numeric-id":4694232,"id":"Q4694232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f37e902bfb64ad6e350883a2411c37d38b439778","datavalue":{"value":{"amount":"+0.7441065311431885","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":"Q4335231$F3CEE591-CBCF-4E23-A2D2-6D190DE1373D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4335231","badges":[]}}}}}