{"entities":{"Q1799106":{"pageid":1809848,"ns":120,"title":"Item:Q1799106","lastrevid":68987364,"modified":"2026-04-13T03:33:34Z","type":"item","id":"Q1799106","labels":{"en":{"language":"en","value":"A separation logic with data: small models and automation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958116"}},"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":"Q1799106$A480F7E6-19E2-4130-B030-E469AD8B688C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"223a2efaa7c1b676642ea53bff9efd9f5eb92504","datavalue":{"value":{"text":"A separation logic with data: small models and automation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799106$E90C9625-0F9E-4034-B65A-276704229F70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f17d37c1d6d0fab313ffdabbebae3ad2568ab7a9","datavalue":{"value":"10.1007/978-3-319-94205-6_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799106$AB0B35D2-E339-49B8-B08A-F8A0EA997E7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"baee09d3d788977496509cbd53316872ef909db2","datavalue":{"value":{"entity-type":"item","numeric-id":1799105,"id":"Q1799105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799106$D725EB8B-73F5-4A40-A43F-20AC4949B6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"397d77ad8bd1a3f514ce08804fba49d28413c3f4","datavalue":{"value":{"entity-type":"item","numeric-id":832266,"id":"Q832266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799106$C7C63830-5EF9-468C-86CD-2239A5B55E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cafc89a69d4324ea4f0d501a434f10ab730991dc","datavalue":{"value":{"entity-type":"item","numeric-id":286730,"id":"Q286730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799106$8A76DB77-509F-4D7C-A404-50BA381F3B87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799106$C7DB4792-B01F-417E-8A10-05276F28D203","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799106$F4F666CE-54A0-41A2-A937-C44DDEB14528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799106$CF4F3167-F34D-4822-AB77-BC191F982AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799106$620F6256-454A-4D7A-8C8E-D56B7ACF5F31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e121ed4b1e86e9dd38bfe8dfe3f56e9bae4ccf30","datavalue":{"value":"6958116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799106$B5A047FB-9956-49C3-B776-E73ADD46770A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799106$040B508F-6204-4C55-81FE-0061E8267F38","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":"Q1799106$0BBA3965-1B24-4AA9-9475-6F3956F02518","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"099514315d4a87b5e280c5d8bdf0fe502b5dc807","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94205-6_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799106$02348F03-3EAB-4479-9F51-545E18E067D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23f3b8684e3d3b1ba5e30ad285984a2d1a6ef4fb","datavalue":{"value":"W2809698264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799106$397A9FB5-BE0B-433A-994F-2C91417ED887","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bca72a740cc4518e5cbf6b1379c150f31db31622","datavalue":{"value":{"entity-type":"item","numeric-id":2817951,"id":"Q2817951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7edcad48204e170b3a81038d7869777153ddb8e8","datavalue":{"value":{"amount":"+0.8197325468063354","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":"Q1799106$585C6820-E240-420E-AE00-32D65C14A3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e19bbb791608ca63a345b3983f727d0d9a2b56","datavalue":{"value":{"entity-type":"item","numeric-id":3457790,"id":"Q3457790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20ea9f084e83442d3bb1c9e30229fa4066ec9b16","datavalue":{"value":{"amount":"+0.8191638588905334","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":"Q1799106$518DADE2-AEC3-46F1-9D59-78DBF4781E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbd92fcbd187999428755f3015a6c0079f87cfd3","datavalue":{"value":{"entity-type":"item","numeric-id":5465888,"id":"Q5465888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1906ca453aa204bcbe0f55e17ab8167f2d5f0a2d","datavalue":{"value":{"amount":"+0.8149760961532593","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":"Q1799106$3AB226CC-FB4B-4A77-942D-89459ADE2297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce7dd9f75c01012cd143c7bfff8b47885411b79d","datavalue":{"value":{"entity-type":"item","numeric-id":3090833,"id":"Q3090833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00cb131caa711cf652b82fa840afcd70f1c6d8e3","datavalue":{"value":{"amount":"+0.8025941848754883","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":"Q1799106$5F4617B5-29F5-41A8-848C-13AC528EC172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a58a08463d10a6ff53aaac2336924a78fb3c14f","datavalue":{"value":{"entity-type":"item","numeric-id":4928426,"id":"Q4928426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b505dde1ef06ad2c8290eb8ea442a181af5329","datavalue":{"value":{"amount":"+0.8012106418609619","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":"Q1799106$6073398E-B52A-4A11-A1E2-A59303B65C90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A separation logic with data: small models and automation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_separation_logic_with_data:_small_models_and_automation"}}}}}