{"entities":{"Q1951639":{"pageid":1962381,"ns":120,"title":"Item:Q1951639","lastrevid":51732581,"modified":"2026-01-19T18:01:24Z","type":"item","id":"Q1951639","labels":{"en":{"language":"en","value":"Reasoned modelling critics: turning failed proofs into modelling guidance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6171360"}},"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":"Q1951639$09345294-CF89-4305-B4DA-54CA1FB8B4B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ca84a23fc703b550795c1f925acbe5ba81a73ed","datavalue":{"value":{"text":"Reasoned modelling critics: turning failed proofs into modelling guidance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1951639$EBDC6F91-ECFF-4C81-8289-0B9816E6845B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"510e78f82db36b256152a16884e97a8a2fddea6d","datavalue":{"value":"1264.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1951639$B6C2C759-8B24-4E8B-AE89-68FA51325F06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1951639$0731970C-5B2F-431F-A0F5-A9D61A736F93","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1951639$0E4C50B9-A6DE-4C9F-8073-8E2217DBEB41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63e96e0f21aa9e59ddd731e2dc0f086f16e88ce1","datavalue":{"value":{"time":"+2013-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1951639$E0EF5A46-A93A-4319-8FD5-2AEA82852901","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1951639$3BB9D79A-42E1-43C5-87C2-E7264596ECFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1951639$C1359DD1-DE6E-495E-B24A-4BE51EE52B2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f25e838b794d1c6bcddf90583400618282408574","datavalue":{"value":"6171360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1951639$833FBD5C-6461-4C52-BCBE-F4F45E1BF8BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90393fa1d5706fed9049a655d965be6d07bba89f","datavalue":{"value":"reasoned modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q1951639$17808C28-2FC9-46E2-A87F-B8FE80C35F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1951639$17760C6D-39E9-4369-A324-271ACD70E22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e28762f875f40447c5e36ab08960435f5b3bcc4f","datavalue":{"value":"formal modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q1951639$25733064-3BF3-48C7-B961-545FC19C340B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1951639$604B1588-406A-4ACF-BB51-2472BDF1A95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1951639$6C5BABB4-48F7-4E4C-B8E8-70FE28A5DCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c823b56192bce445b4b9ec3d99d959d2bc7a655","datavalue":{"value":"artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1951639$105BFC09-C4A2-469D-A232-67BEA368223B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"51eaf92577dfff361c982944315580752f58e6ed","datavalue":{"value":"Q59625829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1951639$1F0317E3-4A16-46EA-8F17-8F8958F3AADD","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":"Q1951639$47B4E8F6-7FBD-477A-A397-37A8E0142F55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"194ca89d8c99e225bc19c289073adbbec010585e","datavalue":{"value":"https://doi.org/10.1016/j.scico.2011.03.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q1951639$F6D34113-B237-4400-8EDF-734BE28300C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7418309940e219af95520aa18ede4c0921694dde","datavalue":{"value":"W2104677549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1951639$17CCA011-8521-4C87-AA1F-E3AB2312B5F9","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"ca3ef31a085f00879b837f80069041bf03fa1448","datavalue":{"value":"journals/scp/IrelandGLB13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1951639$3395FA9F-6F25-4C44-A322-2A2196C81BA9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e6a91d894b19f83efd9ff321ed2f76a55576246","datavalue":{"value":"10.1016/J.SCICO.2011.03.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1951639$04C0E5DB-9091-4E97-83B5-687C50040955","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f4a33713ee93297dd474c1466d58d60ff40e3e5","datavalue":{"value":{"entity-type":"item","numeric-id":4484340,"id":"Q4484340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac66d6bec5dd8c97bed56b2df2422ea35707f1b3","datavalue":{"value":{"amount":"+0.6889369487762451","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":"Q1951639$22D2A413-14F2-4EEE-9EDC-295C23EDAB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c2a92b9aa2fbd2b87f411879cc6f75a6dddc210","datavalue":{"value":{"entity-type":"item","numeric-id":2842639,"id":"Q2842639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bf74cd3484ea2c2c31b0158cb90f7e6319caf70","datavalue":{"value":{"amount":"+0.6805659532546997","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":"Q1951639$5E1E4643-11FD-466F-B747-AAFECD8B57C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f67bb97f1f7d7768f2352441daa0093cc7c7bcd","datavalue":{"value":{"entity-type":"item","numeric-id":4798475,"id":"Q4798475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce1c99dcdcd848795ccde3cf35fec5f93f87d7c9","datavalue":{"value":{"amount":"+0.6643081307411194","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":"Q1951639$1E7F133A-D706-4769-9BE1-6FE38586335C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a09ec0d999f0ff91dd7b2b9ae810c67dc3cdf9","datavalue":{"value":{"entity-type":"item","numeric-id":4885879,"id":"Q4885879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"865766e39a8d3b903cc87407efc490aebb51cd05","datavalue":{"value":{"amount":"+0.6562754511833191","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":"Q1951639$F951D5F9-5433-4A52-832E-F2950AC5B65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39078b044b6bc62d5011e3162d33db7f9a27bd64","datavalue":{"value":{"entity-type":"item","numeric-id":3564031,"id":"Q3564031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"865766e39a8d3b903cc87407efc490aebb51cd05","datavalue":{"value":{"amount":"+0.6562754511833191","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":"Q1951639$B9BA9E76-3734-4D82-B570-422ACE1C50C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1951639","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1951639"}}}}}