{"entities":{"Q3593077":{"pageid":5622982,"ns":120,"title":"Item:Q3593077","lastrevid":50171297,"modified":"2026-01-13T08:51:57Z","type":"item","id":"Q3593077","labels":{"en":{"language":"en","value":"Refinement-Based Verification for Possibly-Cyclic Lists"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5194964"}},"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":"Q3593077$51DC2861-B66E-4EF6-9149-A173A64AE743","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7cd83674ed8e4596652180542db485699c3e736f","datavalue":{"value":{"text":"Refinement-Based Verification for Possibly-Cyclic Lists","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3593077$69CEBF28-BBD8-40DE-A1B5-3A376406126A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b811141ff3d5ad4d960f872abf51be16a3f26de","datavalue":{"value":"1149.68356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593077$9B96FDBD-059B-4A18-B695-A58CB44A8AA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e4a6db818a1d0260ac330e16718b72d789b045d","datavalue":{"value":"10.1007/978-3-540-71322-7_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593077$0967B14D-59F9-436E-A328-79351494F37F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cca17f36a85b898dd7fa043697110e05f4d48f7b","datavalue":{"value":{"entity-type":"item","numeric-id":2764120,"id":"Q2764120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3593077$67E1F351-B467-48DF-BA55-019732BA483E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc21e11847c1c83cb4b05afd906a2cc9c2cd1694","datavalue":{"value":{"entity-type":"item","numeric-id":671678,"id":"Q671678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3593077$76E941B8-19B6-446F-88A3-D5B302AC1530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"190aeb0a4140f0f074ae1c5aadd2d8c38248c9a5","datavalue":{"value":{"entity-type":"item","numeric-id":1404294,"id":"Q1404294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3593077$7C6CAF90-1AAE-4309-8811-596743F5E296","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d27b7bce54b9a3f428c68262be7845cadda998ba","datavalue":{"value":{"entity-type":"item","numeric-id":3593061,"id":"Q3593061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3593077$91FA8664-7D65-4E4E-856C-E44B07B722B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"892e1c80fb63024570d29dbd990e9f3404511c8e","datavalue":{"value":{"time":"+2007-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3593077$A0150B82-6E00-43E4-9AD8-495B74062782","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593077$CBB4E8B7-3C2C-4AB9-B49E-288983D44EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593077$469A0C68-C912-485E-A7D1-FDB8875CC049","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2a28f32a549dfcf45813fb277351f23cbd36dcb","datavalue":{"value":"5194964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593077$0EC34005-9A93-459B-B350-3AA54E684AE5","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":"Q3593077$05F5C262-4E19-4AEE-B89B-0344FEE65B75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"173ff61c935bc28f7403fb00d3f323f5cd163051","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71322-7_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3593077$0E3DC47F-C33C-4C63-BC07-D1099F451C9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d8017008ed0f12aa1c3e6211d2a8db4993a154d","datavalue":{"value":"W1751880929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593077$8E08F640-1A89-4CBF-9285-5D6C7C53C48F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ad59caee798ab25ad911393394c35fdf9e3e197","datavalue":{"value":{"entity-type":"item","numeric-id":5348918,"id":"Q5348918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"093cf37c760ae8bb7863214fdb12eb0760759929","datavalue":{"value":{"amount":"+0.7399749755859375","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":"Q3593077$EAFC96F7-7297-4A49-BB05-83CCDB537C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"986afe06d0e449e6f3ff808ef12202603e9ddde0","datavalue":{"value":{"entity-type":"item","numeric-id":5899050,"id":"Q5899050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a631aa73dd9e3ff4ce1733cceff3c715e48ceb44","datavalue":{"value":{"amount":"+0.7074534893035889","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":"Q3593077$197ED082-53A7-47F8-820A-D192A1B92724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5b8187d92d16a347cf658f11507e25fa7229462","datavalue":{"value":{"entity-type":"item","numeric-id":5756740,"id":"Q5756740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ba49fc1e8e90e81289de482cada095a75a8a8fd","datavalue":{"value":{"amount":"+0.7050857543945312","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":"Q3593077$F40775A0-4628-4191-BCC3-6EE84D521965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2170c4b2d9ca1f4390fc13c08e49797e21a01bc1","datavalue":{"value":{"entity-type":"item","numeric-id":2766776,"id":"Q2766776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fc2e70159e18d19216b533e1b76a373f9bcff7a","datavalue":{"value":{"amount":"+0.704836905002594","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":"Q3593077$592BD8B6-CDDF-4E39-9EBD-7C51867E7669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"402b36d38161f701a486c77c25d32e28a7ac0455","datavalue":{"value":{"entity-type":"item","numeric-id":5452196,"id":"Q5452196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fc2e70159e18d19216b533e1b76a373f9bcff7a","datavalue":{"value":{"amount":"+0.704836905002594","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":"Q3593077$3475FC1F-AA1E-43B8-9822-1F86B267B24F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3593077","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3593077"}}}}}