{"entities":{"Q2038070":{"pageid":2048812,"ns":120,"title":"Item:Q2038070","lastrevid":43487381,"modified":"2025-07-29T08:20:23Z","type":"item","id":"Q2038070","labels":{"en":{"language":"en","value":"A new refinement type system for automated \\(\\nu\\text{HFL}_\\mathbb{Z}\\) validity checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7370091"}},"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":"Q2038070$8DD32B2F-3B6A-461A-BE30-654A4DB5A279","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa940987e54bc53e4d0d7ec8b5e454a9d70e2c2b","datavalue":{"value":{"text":"A new refinement type system for automated \\(\\nu\\text{HFL}_\\mathbb{Z}\\) validity checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2038070$991F1E3F-69D8-45AA-9CC4-1BFB18C22465","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53604fae6dd59069cae3b6d2ed9f925f4a0cf658","datavalue":{"value":"1476.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038070$91B939BE-41CB-43AB-8415-79E0025881B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ad4b41f3e457cf18213a51fe554bf5db4b598ba","datavalue":{"value":"10.1007/978-3-030-64437-6_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038070$A654D853-F66A-4A93-8893-0A974856CE5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be307fb4324a0775fe863319cabe4d57e634bbda","datavalue":{"value":{"entity-type":"item","numeric-id":2038067,"id":"Q2038067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038070$4B835E9F-60B2-4CB6-B270-2CF2C89A206F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cb7012016010ddfde30b5c590c6aa5231106c2e","datavalue":{"value":{"entity-type":"item","numeric-id":2038068,"id":"Q2038068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038070$30D921D5-596F-46CA-8AB1-8E6E980493ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038070$A25A7F99-8472-4293-AE1D-494AB2697F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0eaf951c75d2d5db5073cd2949ee5f4196ba23e","datavalue":{"value":{"entity-type":"item","numeric-id":2038069,"id":"Q2038069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038070$FF64281F-2912-42D3-B487-EE2F06118D08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a1926b5e5d0313a397a856b5060f2ee4412bba3","datavalue":{"value":{"time":"+2021-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2038070$E273B4A0-208B-45A4-BAB3-D1D2886BC8DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038070$F9275459-A8C5-43B4-8CF8-D6F692E9B47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038070$1CB4B684-623F-4AF0-8B77-832F37C30A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038070$301A73F3-8901-450E-813E-B68FC1D65E4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb81c64116143bdcfb7a1426c0ce0d9076996982","datavalue":{"value":"7370091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038070$48FB2A93-1FA6-4FFE-8F90-ABAF3E6A75D2","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":"Q2038070$01E54033-93E5-41C6-A6BE-621ADDF401A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"676787984bd874c3d00adfa016afe073d276b5f4","datavalue":{"value":"https://doi.org/10.1007/978-3-030-64437-6_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2038070$3A9B11BB-0748-47E8-B693-5FECD1A69C96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3001fde102987a0e82f39230ea06f29e5b32ec4","datavalue":{"value":"W3107553734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038070$C68B4CAB-740B-4BB6-9139-043D6ADA110D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4183986bff25cbb794c0ef0b4cb04c86daaa4024","datavalue":{"value":{"entity-type":"item","numeric-id":2233530,"id":"Q2233530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"274bbc59b690d7dda346df71c04900eebf77e0f1","datavalue":{"value":{"amount":"+0.88743997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2038070$F06B0AB3-7728-482B-9ACD-484FE424FAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8213c84e722b981af05319a6ca2089cbbe9522","datavalue":{"value":{"entity-type":"item","numeric-id":2457343,"id":"Q2457343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b459f6faf4fd13598736d1843e84efb45e96ff27","datavalue":{"value":{"amount":"+0.836932","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2038070$5F649141-4A69-457B-B707-CFC382AB4898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f85a0d78f5d767cd6d59312c43a5d36a554b239c","datavalue":{"value":{"entity-type":"item","numeric-id":6109429,"id":"Q6109429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3315a95f4ad1e779de5c05dd0f6e6256b94ba06","datavalue":{"value":{"amount":"+0.8300145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2038070$D44D8C2B-3255-487E-A1B0-35995886CE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2df8bb6fa11a9cf0aabceef154cd12752b77cb3d","datavalue":{"value":{"entity-type":"item","numeric-id":4647580,"id":"Q4647580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d4d30532354b85ad01eddc57e830d0ccddfb561","datavalue":{"value":{"amount":"+0.82691336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2038070$56C0ECA1-FA47-4E31-83C4-6EF7D76A62F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b20eeaa6e73b5a30c13519c386169b5dc049a7a","datavalue":{"value":{"entity-type":"item","numeric-id":3498463,"id":"Q3498463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a82b25b1d1e9c9674f8b5189fb59d1a3399089f0","datavalue":{"value":{"amount":"+0.8266266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2038070$09E1F9F4-A493-4B28-A4A4-570DA2D8E62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a947841b703a3f9b04e47ecaacbff5dd190a3cd","datavalue":{"value":{"entity-type":"item","numeric-id":5394574,"id":"Q5394574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d76073580f4e18454c2ee449bbf89e51ff6c35c5","datavalue":{"value":{"amount":"+0.82590073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2038070$4A080506-4F8A-4BB2-9CA1-4019CFD55C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab683a7b1f35576127c529e6651dcc1403e6eaef","datavalue":{"value":{"entity-type":"item","numeric-id":1006729,"id":"Q1006729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2858a83190168d8a710b736e982c762a9d5bd07","datavalue":{"value":{"amount":"+0.8253203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2038070$741E283E-D526-4EC1-91FA-D81D41C26EB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2038070","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2038070"}}}}}