{"entities":{"Q3371525":{"pageid":3382229,"ns":120,"title":"Item:Q3371525","lastrevid":49791355,"modified":"2026-01-10T18:57:32Z","type":"item","id":"Q3371525","labels":{"en":{"language":"en","value":"The semantics of BI and resource tableaux"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5008524"}},"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":"Q3371525$21F8A893-3DE5-4C26-A680-F551615880F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3012ba4e1fecd445e6609795446796928a9bdef","datavalue":{"value":{"text":"The semantics of BI and resource tableaux","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3371525$2A599B53-1FC3-402C-BCAD-FCA3D02A87A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c13c48f61698ee68ca61b0ca8627db1bf24d775e","datavalue":{"value":"1145.03308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371525$8C3A4F9B-643F-4AA8-9008-2C67129420B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46fd096466154698dc6a18fd7f453c69d2a7b400","datavalue":{"value":"10.1017/S0960129505004858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371525$83FA1D4C-1930-4794-8596-504CB45842C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43c9dea2040a308ad1527d71ba75aae30019412","datavalue":{"value":{"entity-type":"item","numeric-id":290916,"id":"Q290916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3371525$4CCE1BE8-DCE0-4C43-B3B1-E94918E60C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d72e69b77b54b2c4c78170e707f79612e9034369","datavalue":{"value":{"entity-type":"item","numeric-id":2180512,"id":"Q2180512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3371525$2DB84044-21F9-4D5C-AC8F-531B279CF02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f49fd2ae3d1da3d59eca25d7c6331cf7590a3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1826633,"id":"Q1826633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3371525$EB48EAD4-F9B4-4BFB-81A1-0CDD377C81E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3371525$9ADEBC03-9D0C-4E3E-A928-416E26CE1A38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bdf62483a5814915194a2a6a1a7736760394c780","datavalue":{"value":{"time":"+2006-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3371525$F8A798C8-C99A-412D-8B72-AE2945EFD5A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371525$72B0D9FB-5D52-4CD1-8293-6643E4531A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371525$899FC284-AAAF-41F5-AEE9-69250AB8EB99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc83364820c1aaf111b8d903caf0639e3c4a1b6a","datavalue":{"value":"5008524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371525$12BF215E-28A1-4AD5-A9C1-0614C4E6F830","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ffb9a61cf7197ea8f775060b75a2afdf5838ec6","datavalue":{"value":"logic of bunched implications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3371525$98FFFD7A-05C7-4B03-A0B7-EF63F07C8C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08adad6cd898e7c7d897e7197186a448e1e0c067","datavalue":{"value":"semantic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q3371525$FE0B1151-0DE8-4FC0-9463-0837863D734A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9efef9a3c7f08ec2f3168fb1f708f6562d580ff4","datavalue":{"value":"resource distribution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3371525$A4D12EBE-0636-4736-9FE9-5F84EFB7D24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4724c5a9ecdf408bc3c9c1ca8a8a3fc19f7dafbf","datavalue":{"value":"resource semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3371525$A2011E7A-21C5-4F7D-A2E2-25A180DBB60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"557961e0ecc8326f785ccbd0a046814283bf347c","datavalue":{"value":"Topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3371525$8305893E-1E1C-4943-B8EB-5CB9C50808F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q3371525$56D13EBB-ABB8-4850-8DED-C1EF527BBF26","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":"Q3371525$EFAA1FFF-2AEE-4F92-8E80-5B55DD7D1087","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0e5151a0400266d29fce9a3f120125a9f649ff9","datavalue":{"value":{"entity-type":"item","numeric-id":4411823,"id":"Q4411823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cd9dc30c14d065e786b2fe0fb2615ae17d9453b","datavalue":{"value":{"amount":"+0.9801326990127563","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":"Q3371525$CF511421-6DAB-406B-87DD-1501C05C56C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc718aa1c80923324709ef97e3bb512e84befcd6","datavalue":{"value":{"entity-type":"item","numeric-id":4612424,"id":"Q4612424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16915ab589056fa3d60b003f2274befb21e5c384","datavalue":{"value":{"amount":"+0.971201479434967","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":"Q3371525$184F69B5-94A7-4D55-9C13-3A0EF1E136C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4708f151e5ce75f19f64038baeb2a40a39a90811","datavalue":{"value":{"entity-type":"item","numeric-id":4444937,"id":"Q4444937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3574026172fbe5cbf651c54339fdcb3cfe1f15f2","datavalue":{"value":{"amount":"+0.9161375761032104","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":"Q3371525$AA7072A2-20E8-468E-889C-FCDCD8BB7D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa989996ced01fe27d84d37ed342ebc72ac4f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1826634,"id":"Q1826634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfe330d85e7e352231e32ca09a7413443221beee","datavalue":{"value":{"amount":"+0.8548497557640076","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":"Q3371525$B69ADD08-C3AE-4577-A41C-EFABF7012E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1784f59bfef3e6e33e11e36e6702c069517f2963","datavalue":{"value":{"entity-type":"item","numeric-id":3455841,"id":"Q3455841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d96ad1d67f59ef207df73bea4b64cacb3b9cb58","datavalue":{"value":{"amount":"+0.835564136505127","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":"Q3371525$DA9800BC-B307-4BD2-A8C7-D89F179CC0DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3371525","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3371525"}}}}}