{"entities":{"Q5099997":{"pageid":7129573,"ns":120,"title":"Item:Q5099997","lastrevid":55415653,"modified":"2026-02-17T15:57:28Z","type":"item","id":"Q5099997","labels":{"en":{"language":"en","value":"Modalities in lattice-R"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7576846"}},"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":"Q5099997$4602215C-1FDD-42DD-AE82-34D3DC3E06A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66f84fbf84627872ee8e4f09b27f58a25c3028cd","datavalue":{"value":{"entity-type":"item","numeric-id":266640,"id":"Q266640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099997$67EC20AD-E111-4D87-973F-7E5EECD25EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f2c9310ba4403f502f62bb76aa7c520204441b8","datavalue":{"value":{"entity-type":"item","numeric-id":358689,"id":"Q358689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099997$E2813873-FA25-4F44-B4EA-EE19D5AC02C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f73b386990d93a2e672449eec9032448af61ffd","datavalue":{"value":{"time":"+2022-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5099997$87DB74FB-D5A5-4035-809E-075A3E4AE060","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5099997$992C3AF1-402E-4D63-9D78-37157637D75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5099997$DE7147C1-7BC2-4B97-BD07-EB122A81C8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5099997$261897BD-8A8E-4F09-A87A-9474CEC641AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e556f083d77371e137f943ac73859f0d5f7fa21","datavalue":{"value":"7576846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5099997$36E22C8C-6348-4E24-804D-E45719EFB938","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5099997$C151A14D-11F4-4802-8CD8-714111AC0E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5099997$18C0ECF8-D685-4CF9-930F-C8D5D6DB3A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5099997$BDA33538-9BAF-4FDC-BE7E-775C9769296E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5099997$AB8CE038-7754-4F1B-A866-0CF121BA9E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f17cdd779d0679d693ec9ded21907466bc033475","datavalue":{"value":"sequent calculuses","type":"string"},"datatype":"string"},"type":"statement","id":"Q5099997$007B12DD-53DB-4AD6-885A-995B6C04A8BE","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":"Q5099997$27DE8F64-E891-4BCD-8F07-394752867406","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f502c6a6ef566da0ff2f60e40ee683ddb083636","datavalue":{"value":{"entity-type":"item","numeric-id":2517231,"id":"Q2517231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17573683fd22eb246099e4a89c628d9fe28d890a","datavalue":{"value":{"amount":"+0.7885822653770447","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":"Q5099997$70DCC0ED-8D8F-4B79-A17C-88401DEF5477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aec8e75eca13712bfe24a52de7e4f02098fe8c3","datavalue":{"value":{"entity-type":"item","numeric-id":1854403,"id":"Q1854403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"266b7a12c1e7ba04d04d7313db493279625f5431","datavalue":{"value":{"amount":"+0.7713708877563477","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":"Q5099997$13879320-88F6-4CE8-9C75-66F1204A56C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a1a12c1e0a5a77e2f0e3ee42f30fdeb4e0ae403","datavalue":{"value":{"entity-type":"item","numeric-id":4948542,"id":"Q4948542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"706ca16e8e7ee558d7ed9830affd20d599d05b94","datavalue":{"value":{"amount":"+0.7683167457580566","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":"Q5099997$F6650658-7883-4207-B55E-02060CAC637E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"954374d634de3023e1b46ab5886152b959a5597e","datavalue":{"value":{"entity-type":"item","numeric-id":1694448,"id":"Q1694448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d3b983c37e7bfcf4acac4e5bbc19c3c9fd31058","datavalue":{"value":{"amount":"+0.7506616115570068","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":"Q5099997$C8004DA5-3F97-4663-BB22-ED4BE9B7B554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97ce14ea95f4a3fc8c3af98620ebc361d7a77fb","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d7497a14844bdd63986c6115f5c65c1a2dbd93c","datavalue":{"value":{"amount":"+0.7491291165351868","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":"Q5099997$8C196192-3442-4693-9417-844437DF9DAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5099997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5099997"}}}}}