{"entities":{"Q5900683":{"pageid":8006859,"ns":120,"title":"Item:Q5900683","lastrevid":50958485,"modified":"2026-01-15T22:40:41Z","type":"item","id":"Q5900683","labels":{"en":{"language":"en","value":"Thread-modular abstraction refinement."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695371"}},"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":"Q5900683$3BE451D5-A7D7-4527-88C0-21517712739C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73bd069b212797cd1b716ecedbde3c2b856d1f40","datavalue":{"value":{"text":"Computer Aided Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900683$5B8CFAFD-73E4-4E6E-802D-9613D992E98F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e688adb3bc67fb407dc4539e942e083fae93f263","datavalue":{"value":"1278.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900683$3F871033-AFF1-496C-A4E7-96C7FE670C22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900683$45B46D33-DD92-453E-97D3-F8568D11E28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2109ea3ab29767c79eca725b68331d0c21a9a6f0","datavalue":{"value":{"entity-type":"item","numeric-id":2225085,"id":"Q2225085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900683$75A30763-27A9-44C7-B21F-43A35F684184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900683$B8F2A3CA-AB5C-4ECB-9992-194DA83241EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e61e1c15131a00734d19fb57dbeb828f0f9aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":557793,"id":"Q557793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900683$8E280A7E-8BC2-44E0-B541-2E6708E48C61","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900683$75999656-AF0B-4265-81DB-CE49AEC99563","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900683$63077E1A-CE52-4FA4-AF13-FA61024EF18D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900683$E2B16043-9896-4023-969F-1ABEB40C51AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2953da61ae8d8c3b8d7ffdd1b236bfef7c97f5e1","datavalue":{"value":"5695371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900683$BEB454CC-D132-4E3B-89EF-EA07A23D3E16","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900683$06220AD6-0877-43D3-94FD-E4A4E8227EC5","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":"Q5900683$6E53D698-4106-4A6F-AC50-85377B7600F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"050caeb9facfc2b37142c301b40d1dfd9dbf1be9","datavalue":{"value":"https://doi.org/10.1007/b11831","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900683$0BBB382F-B9B4-4160-9927-019066BE13B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca9b9df0d9ff4e5d8e3d66da51426dae32b7ea5b","datavalue":{"value":"W1571340194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900683$88A3E26D-1DE5-4EE2-9908-5A3967337E9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bc3be280ea47ce2c61f3b7e2b376b1d1ce60a5c","datavalue":{"value":"10.1007/B11831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900683$1DCBCC1A-AA1E-4F4A-A283-EB9FC6C962FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a612fbdd8dd023140c1134671601f072bbc161e1","datavalue":{"value":{"entity-type":"item","numeric-id":4426384,"id":"Q4426384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9522ce126acdd3295022a63b9ab56dcdd245e82","datavalue":{"value":{"amount":"+0.7887871265411377","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":"Q5900683$C62CB7ED-1795-4536-916B-24AE44500E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cefa342511ff0a38e44245db56f582114773a663","datavalue":{"value":{"entity-type":"item","numeric-id":3636854,"id":"Q3636854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6411c60ca215f6dd0166346ab03b0d1f51e133af","datavalue":{"value":{"amount":"+0.7831628322601318","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":"Q5900683$8FB1FE10-1895-48AA-BF97-B36CC27886EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee3dc384d80d204cbfbadff9bc57a551f433448","datavalue":{"value":{"entity-type":"item","numeric-id":3525149,"id":"Q3525149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"699cbc97ecab86cbaaf854fe660de7539078e874","datavalue":{"value":{"amount":"+0.7740849256515503","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":"Q5900683$21451663-9AC6-4270-B5A1-3A8C461AE363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d3b88102ff6fd0d3278a120b3ff35f5822c8ee5","datavalue":{"value":{"entity-type":"item","numeric-id":3612005,"id":"Q3612005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9900a93dfe840765a473b00dd8e79136ebd0e1dc","datavalue":{"value":{"amount":"+0.7699805498123169","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":"Q5900683$D19A00BB-EAA6-4CC6-8E4D-4813059E5382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8bc67b583574f4d04ded58ffc9f2ecb59a911fc","datavalue":{"value":{"entity-type":"item","numeric-id":2441711,"id":"Q2441711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5517f5454469557b16fa7a4ba3287cbc1269a46","datavalue":{"value":{"amount":"+0.7664555311203003","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":"Q5900683$4249DF79-0F25-4CEE-95AD-A6C4BB2BA304","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900683","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900683"}}}}}