{"entities":{"Q3700827":{"pageid":5730733,"ns":120,"title":"Item:Q3700827","lastrevid":50372744,"modified":"2026-01-13T22:15:38Z","type":"item","id":"Q3700827","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3926234"}},"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":"Q3700827$35CD39AC-FA34-4EF9-B2CB-CF5251CEC072","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af537c959eac59e2682ed8ed7e8bac943efb5b32","datavalue":{"value":"0578.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3700827$60F4C845-60BF-4BB4-A8CD-1211EE0A80B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d57f09c8b6166cc06b4f9cb47b781d21f3649747","datavalue":{"value":{"entity-type":"item","numeric-id":1311411,"id":"Q1311411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3700827$52C3BA53-DBFF-4DAB-A337-151A07291D6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3700827$2157AD73-B5CD-42EB-87C4-4F031A59CC0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3700827$BB2CAA98-FF49-4438-9A0F-90085799A44D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8493cb4363b386433549fe61f81e035c41da0fbb","datavalue":{"value":"3926234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3700827$167593F0-5C1E-459C-A398-1C8DB9FAF577","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700827$F6A983E8-F2B8-4554-BE6D-C700D6C83179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c686a3e34dcfbb7663d8b780f2288d2eba78593a","datavalue":{"value":"compact fragments of non-compact logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700827$D6DF0D9C-006C-4090-B143-CE57F9A3AE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b70f861f9f5c32621aaf34b1a796a711f798e1c0","datavalue":{"value":"fragments of Floyd- Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700827$1788325E-EF2E-454C-9128-062CCC5C86CC","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":"Q3700827$D810FD40-4AC1-4EB4-9417-DF4303C3CD8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f77116d5e09621c443a888bdbdeb8dbbddaa66dd","datavalue":{"value":{"entity-type":"item","numeric-id":3819047,"id":"Q3819047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c432fd7b2c4fdb0d626fdeb014aae70521afca8","datavalue":{"value":{"amount":"+0.7830069065093994","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":"Q3700827$7DC0595A-B610-43C2-8243-610C20B678C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c0c51c92e93fb233514ecf9371ebfdfe0bce8d0","datavalue":{"value":{"entity-type":"item","numeric-id":5445168,"id":"Q5445168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d38eedf743327ee36dd3ae1f56d1cab85875bf9","datavalue":{"value":{"amount":"+0.7809638381004333","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":"Q3700827$5F1423D5-F002-4587-80E9-10E159B49DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55706b60f86d931a893849fb4747816256a4fa9e","datavalue":{"value":{"entity-type":"item","numeric-id":5434521,"id":"Q5434521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69be366a35c0ca1695d4c5f2ca00c2776871d948","datavalue":{"value":{"amount":"+0.765580952167511","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":"Q3700827$F91FA790-5DF9-4109-A12D-4FD9F7F91AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"245cc87f707a138cc7c6720362e5fa23e9c66b48","datavalue":{"value":{"entity-type":"item","numeric-id":3678664,"id":"Q3678664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8056c02e3a41f30c7335e0084f48aab983bc2fa5","datavalue":{"value":{"amount":"+0.7645893096923828","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":"Q3700827$C4B78F98-405C-49B1-B848-E6A7B71B94A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb2270f0809856f99995c5fa9ce2ec216ef028c3","datavalue":{"value":{"entity-type":"item","numeric-id":817682,"id":"Q817682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f60c5ef08271564261f18f4d52dd73973e5f4d84","datavalue":{"value":{"amount":"+0.7614390850067139","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":"Q3700827$571A73BE-00A0-4A42-8BD3-C7E310CACD1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3700827","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3700827"}}}}}