{"entities":{"Q4659503":{"pageid":6689084,"ns":120,"title":"Item:Q4659503","lastrevid":48441361,"modified":"2026-01-04T19:59:36Z","type":"item","id":"Q4659503","labels":{"en":{"language":"en","value":"Combining Soft Linear Logic and Spatio-temporal Operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2147839"}},"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":"Q4659503$F7D67E2D-05CE-4635-A954-CD9C12B57697","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5bd0a496e2310d0360ad53f96593502821d6b92","datavalue":{"value":{"text":"Combining Soft Linear Logic and Spatio-temporal Operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4659503$A8EA7A99-1252-47A6-9BE7-53D21A42DF22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0577960c2871ac47e564748d9b7b193de441824","datavalue":{"value":"1069.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659503$0E338D68-02AD-431D-9FBA-38EE4CFB1402","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659503$B36DB024-2F03-4865-972F-D658AB86B2FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11b4b9e71888c8ae87efc4750955ed379903fb79","datavalue":{"value":{"time":"+2005-03-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":"Q4659503$D986ACF6-9AE6-43D9-8C75-C2BB15754187","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659503$E685E5DC-B0B3-4252-BAEC-8AAEAEBD686C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659503$7F0FFF6D-4AF1-4279-AE42-C92DF9B0B93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659503$60CCD1A1-D097-497A-ACBB-F3E5F41F7E14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa2bd320eb3fa8b4210459764ba0fc67413e5e72","datavalue":{"value":"2147839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659503$706AD05C-0CA9-4B86-B159-EFD919C0EC59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c31014c346085ff478d8a1a2ac67dd06818c9668","datavalue":{"value":"spatio-temporal soft linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4659503$A876FFF7-E71B-4620-B2CC-89D8D63E0297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d831b26de13f07e39b2c1bc47cddf66c80882c","datavalue":{"value":"spatio-temporal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4659503$B0E57BF8-8309-4BA6-B9EF-24FEBD2BCA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4659503$195E5A6F-858C-4DE9-B900-18830E6BB87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25900e8d07199aa57f1cda09a4b52cceab6eed8","datavalue":{"value":"Petri net interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4659503$B2EF8272-0503-4284-9923-B0A0406DB1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261384d5dd7fed1d3182a69012952bac452c0bcb","datavalue":{"value":"resource-sensitive reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4659503$0EC6F5FF-E678-47CA-AFBD-7E5A41C97443","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":"Q4659503$9BBAB05F-D398-43ED-82F4-D6AE128424BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e74e974515b4d7da31ee40fdfbe638227daf63a","datavalue":{"value":"https://doi.org/10.1093/logcom/14.5.625","type":"string"},"datatype":"url"},"type":"statement","id":"Q4659503$37AAEE82-32DA-496C-A87C-56ECA8B9DAE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f96b38b100ed2c81297983c98ca76d3635903918","datavalue":{"value":"W2030878450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659503$19C7F69B-7B46-4B73-B394-402CF2FE60A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f04ebc654daae3dd8d0a9706a96d8ec355dfc98e","datavalue":{"value":"10.1093/LOGCOM/14.5.625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659503$EEEB3B24-B58E-41C0-8EE6-20D0B3A5D368","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659503$09CD8E8A-E494-4870-9762-32AAAD957600","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29cb9855a297db7131105cf2c199261f965d8295","datavalue":{"value":{"entity-type":"item","numeric-id":2368991,"id":"Q2368991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adc0e5d862763f8023bd8f7ab9df5a84247b3a6f","datavalue":{"value":{"amount":"+0.7803414463996887","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":"Q4659503$08315B99-CDA7-4BD2-8CF1-CC7345A3E610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1054f5fa1b6a6c48e5c7e39124ffd8ce678adc7","datavalue":{"value":{"entity-type":"item","numeric-id":3647264,"id":"Q3647264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d9c35a04cb255295beadd03ead2d53759991e68","datavalue":{"value":{"amount":"+0.7689924240112305","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":"Q4659503$EF09AFCF-DA10-4CD0-A8DE-A378396B1DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522ff705170fac64ed4e0f9145fe5523616a2f57","datavalue":{"value":{"entity-type":"item","numeric-id":5491896,"id":"Q5491896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7427bb2257cc677e56b1bb060f4617ca9af9202b","datavalue":{"value":{"amount":"+0.7350539565086365","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":"Q4659503$7EE36A01-7EDD-42D2-A562-EBF744739A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec94a79ea7feb77d6dfa83666e345a7aa51f90ca","datavalue":{"value":{"entity-type":"item","numeric-id":1058846,"id":"Q1058846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"224ec89e6ac13a781b478904f076f8a6759cc18b","datavalue":{"value":{"amount":"+0.7295870780944824","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":"Q4659503$759C4289-9B91-4A77-BD34-615F1BA5355C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a40aec0fabb791d2f93027f6bbcb5b00b085cf2","datavalue":{"value":{"entity-type":"item","numeric-id":5715695,"id":"Q5715695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6056d07c14a0afa75f949890c6f96b96c67be913","datavalue":{"value":{"amount":"+0.7267133593559265","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":"Q4659503$E25217A5-51E7-42DE-B222-92308CB04032","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4659503","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4659503"}}}}}