{"entities":{"Q6154875":{"pageid":13289271,"ns":120,"title":"Item:Q6154875","lastrevid":98758877,"modified":"2026-06-05T18:25:05Z","type":"item","id":"Q6154875","labels":{"en":{"language":"en","value":"Loop summarization with rational vector addition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7805819"}},"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":"Q6154875$8BFC22EF-A826-47CB-9963-53A9265FD612","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5cf014945a86cd6780ae64c48790a8e486972489","datavalue":{"value":{"text":"Loop summarization with rational vector addition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6154875$AB41F850-1C26-417B-B63D-0EA79A9CCD86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9be25f8ba991422c8bc8a825b46b6aaab5f7a60","datavalue":{"value":"10.1007/978-3-030-25543-5_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154875$75E70AD5-91A9-4C74-8374-3649BD901CED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a1829acad59092a1f9baca94e2fc1d21c1d0e3a","datavalue":{"value":{"entity-type":"item","numeric-id":6154874,"id":"Q6154874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154875$9D8F305B-7874-433D-A17D-1D3CE1BF6A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92fad1b91985a3c82f5ef7ee93b79eb62f914c5d","datavalue":{"value":{"entity-type":"item","numeric-id":832151,"id":"Q832151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154875$2C86DBD4-66C6-4E15-8FC7-02972B0DB100","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154875$9EBD14FF-0BC8-43F1-841B-99EBAE24A0E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adfab34f3c3d8e61a418701d66917b32bf911dc","datavalue":{"value":{"time":"+2024-02-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":"Q6154875$35A13284-6960-4437-8B84-B2BC410DA807","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8513efedcce5e7690d8a796b5e31839fb883918","datavalue":{"value":"https://arxiv.org/abs/1905.06495","type":"string"},"datatype":"url"},"type":"statement","id":"Q6154875$87EF5A75-E8DA-40E1-BE8F-53B9C57F3521","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154875$F96AD49B-52B6-4EC7-8306-F120FA1EAA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154875$6A2E15F4-6304-4DB8-A068-E572E091E8D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbaad433de3398bb0a830eceac76b7711deafff4","datavalue":{"value":"7805819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154875$8EF010DD-F6F7-496D-8973-605E7ABFDE4A","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":"Q6154875$86C35354-9AC7-4A29-95EF-0870C481DEC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12a84f0db9455e3d1797f097f17c3f7f77c44b72","datavalue":{"value":"W2956274457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154875$FC46ABD4-2709-40B1-A83F-3B1D92576D39","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95b207d4397b0bc9c6b2a54c6097b402df3452fe","datavalue":{"value":{"entity-type":"item","numeric-id":3000639,"id":"Q3000639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e7bf7523ff0cf063fa8b387afe6c631edba954b","datavalue":{"value":{"amount":"+0.7353742718696594","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":"Q6154875$9D1C1D9A-54CB-4207-A543-97B767459587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3203e0aca31a66fbee939bf41f88a322886ea8f","datavalue":{"value":{"entity-type":"item","numeric-id":2248058,"id":"Q2248058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9325a24f267cfb8cf22f8f8b8693ac8509998fd9","datavalue":{"value":{"amount":"+0.7343468070030212","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":"Q6154875$065F24A5-E0E7-401A-89D0-88E49320369E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30e087b2a7a80b780876171e6a15c3b2a1db1272","datavalue":{"value":{"entity-type":"item","numeric-id":3540068,"id":"Q3540068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c674c956030945a0b0e42fdc0433cb42f03d3f2e","datavalue":{"value":{"amount":"+0.7289509773254395","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":"Q6154875$6DA27253-9E33-48F3-9562-19A188994639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"806191d80fbd5e5bca8533c8fabcb8b67ac5b0f5","datavalue":{"value":{"entity-type":"item","numeric-id":5408447,"id":"Q5408447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f7d3692494723691ff45f2d9fa639e87c1e45f","datavalue":{"value":{"amount":"+0.7235254645347595","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":"Q6154875$14FD7BB4-12DF-42D4-9577-BD4824841BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f54a54e7e1952891b7ca94d9deffbe2cd998603e","datavalue":{"value":{"entity-type":"item","numeric-id":3172925,"id":"Q3172925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"359ccbf27f43bec636de53b4da15cfe9bd359eb9","datavalue":{"value":{"amount":"+0.7175264358520508","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":"Q6154875$D831D44D-8DA5-43F2-BAB6-23A85A17605F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154875$3A8B4533-1CFE-4F0C-B8D0-05A09A76DAB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Loop summarization with rational vector addition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Loop_summarization_with_rational_vector_addition_systems"}}}}}