{"entities":{"Q1660774":{"pageid":1671515,"ns":120,"title":"Item:Q1660774","lastrevid":68254644,"modified":"2026-04-12T22:28:44Z","type":"item","id":"Q1660774","labels":{"en":{"language":"en","value":"Semipositivity in separation logic with two variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6919118"}},"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":"Q1660774$BCA9CEBC-9C40-4BDD-91D6-569CCDF28A9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e93ef13bfd5fe3b473e93976c4fcda92ffd59db","datavalue":{"value":{"text":"Semipositivity in separation logic with two variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1660774$29952727-4315-427E-87B2-E5EA2D90324E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aede110870b6b501b023b20410236a2bba20033f","datavalue":{"value":"1393.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1660774$3BB3D613-F554-4FC2-B6B4-D76A07BC560F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"940adc5bca5a450675edbf3b052418254ffade45","datavalue":{"value":"10.1007/978-3-319-47677-3_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1660774$CF2BA912-B1E9-4C47-8481-5F89009E487A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa5f7394a0cca1cfe5ffc6e0fdd04b8d512ae0ea","datavalue":{"value":{"entity-type":"item","numeric-id":342711,"id":"Q342711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1660774$B7CE8D84-FF7C-4CB7-BA09-61A309C62D64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fea849c4eb281a412bedffe61a8651446b5233ab","datavalue":{"value":{"time":"+2018-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1660774$CE86D40A-DD1A-4626-8C86-C03DC7070477","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1660774$9081FC7C-C750-440C-9FC6-1E3C14018352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1660774$22A9F75B-587A-4545-8FF5-F53E01AA3CE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"676b02e76548edbe1e21f7ae803c7a3d7ef3382b","datavalue":{"value":"6919118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1660774$9130FF3E-BF3D-481F-B32C-FB01B0A80CB5","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":"Q1660774$12D64C16-0300-4CF4-B0B4-1C5D9A9F0C3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9de7e623eb98d55a48fdf49d42409a26c6aca6c8","datavalue":{"value":"https://doi.org/10.1007/978-3-319-47677-3_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q1660774$BC7C2E7A-954C-4DB8-94A5-CAB5C47C6398","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6948341e5b71bb67c248822c1131b5acb202eba0","datavalue":{"value":"W2528083762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1660774$C73B6E09-873B-46EC-8F2B-0E711EC01684","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb4b53db90caa189df4135eadb99e9c49b17016c","datavalue":{"value":{"entity-type":"item","numeric-id":2957697,"id":"Q2957697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b74b3ee1105942ec3c6ec0d0b6ac3d4468e7a10","datavalue":{"value":{"amount":"+0.8418070077896118","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":"Q1660774$53BDD186-66CD-4964-B991-213C8B97E2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06665609ac8f7e7305531f05c95fe46d9c9b7031","datavalue":{"value":{"entity-type":"item","numeric-id":4635622,"id":"Q4635622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"101f26ae59bbf2f8b19d619fa80a660f2a897087","datavalue":{"value":{"amount":"+0.8306843638420105","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":"Q1660774$8E2E82EE-A2AD-45C1-A252-D955327665C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45bc313aa76b16cbd2e41776b3eafe3b9544f590","datavalue":{"value":{"entity-type":"item","numeric-id":5277913,"id":"Q5277913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1240f00548f170339b0bb9fc51ae3e4ea89ea78d","datavalue":{"value":{"amount":"+0.8000215888023376","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":"Q1660774$A836654F-C7CF-47D7-8E5C-72A462CF76C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99028e52e84438dcd63941e20ddc069a71aa9ca8","datavalue":{"value":{"entity-type":"item","numeric-id":4981154,"id":"Q4981154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cd00dd1deccef5b925a7bcb2734d280cbc4a479","datavalue":{"value":{"amount":"+0.7835093140602112","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":"Q1660774$711A4AFD-F249-49CE-9178-1D10FAB8C36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edfd6b7eb3ccae5d555f30bc668989bfd8038ab4","datavalue":{"value":{"entity-type":"item","numeric-id":2411038,"id":"Q2411038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aa2b45ee6d496fa8c78d97643be0c7b0f4d18ce","datavalue":{"value":{"amount":"+0.7806780934333801","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":"Q1660774$F50A3B40-A9F2-4437-9F43-2522F026A922","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semipositivity in separation logic with two variables","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semipositivity_in_separation_logic_with_two_variables"}}}}}