{"entities":{"Q1853014":{"pageid":1863756,"ns":120,"title":"Item:Q1853014","lastrevid":48033997,"modified":"2026-01-03T10:35:52Z","type":"item","id":"Q1853014","labels":{"en":{"language":"en","value":"On local modularity and interpolation in entailment systems."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1856359"}},"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":"Q1853014$B2ADC6E5-8679-4C5A-B687-E8389778D1F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"520f721fc83205025757bd126b289027255c19b0","datavalue":{"value":{"text":"On local modularity and interpolation in entailment systems.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853014$3546518F-6455-4283-A54F-30D9E3B39C18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ead753bab64b3f859dca8811b2eab5f638107cf1","datavalue":{"value":"1043.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853014$D17E01CF-5834-43D0-9129-4E4BDE5E668A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8380a00e767b69443f2ba9e427458cf243f20079","datavalue":{"value":"10.1016/S0020-0190(01)00271-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853014$E4865289-59ED-40C0-B8A8-42188AC749D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51beb2a92bc32d80e5ddef4ffe8bea1acd44a330","datavalue":{"value":{"entity-type":"item","numeric-id":281161,"id":"Q281161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853014$45EBCE4E-5F39-4D19-8490-D809FFB4C328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b28f368ceba13f379acac343070a56af24adeb81","datavalue":{"value":{"entity-type":"item","numeric-id":281162,"id":"Q281162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853014$7BAE4C05-A796-4A74-9C0F-601A5D5AE90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"754d0fa1bb49600f4f02ba3ce85d71701d3732c0","datavalue":{"value":{"entity-type":"item","numeric-id":407505,"id":"Q407505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853014$DACDA181-7F3C-49CF-9D26-BC0EB8E19396","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853014$16FB6A07-F315-45B7-BFCC-93D162488EE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b5e42af6f5e314fbfeffbcec47ae99c9eed44fd","datavalue":{"value":{"time":"+2003-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1853014$20083ACF-6E8E-43BC-AEF4-324022F39F2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853014$200505CF-D6C9-45F7-B8F6-A7EDD98DE588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853014$48651CE0-104C-4D3E-AB50-7CDFD8F5DC2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f32356480f7b42d7674f747bc4fa280a8e6aadf1","datavalue":{"value":"1856359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853014$DA155394-F9CF-4F9B-AE01-A922A552BC22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e538a64d45ff336e8ec31320304b461735757f2","datavalue":{"value":"Formal specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853014$C76F8A29-1E54-4BDD-B0D8-C6838830C415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d2b1e9aa2bf61a4ad22841685d6029ee0d6f140","datavalue":{"value":"Modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853014$8ECF9D10-D6EC-49D6-9151-1BCF58A91FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bbbe7bc66237cacb333ede2aa11e8e9f294b0fa","datavalue":{"value":"Interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853014$9163370C-8702-4567-88BC-E5706593E70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fdcf5a8aae5fe13d6b30550b0501b58c5ef4627","datavalue":{"value":"Institution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853014$9DE4A1B8-0B6F-43FC-A763-EFE48D38E946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"accba342e342b2da758969ed736b9beaa7599a2e","datavalue":{"value":"Software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853014$128CB44F-6A74-402D-981A-A3BD3FEF0B84","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":"Q1853014$B31870C5-2299-4B39-B7AD-91E62DF789DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13135fa50c92369f5593c5c60b5fb964b14c4c04","datavalue":{"value":{"entity-type":"item","numeric-id":3474270,"id":"Q3474270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853014$0FCAD27C-9225-496B-9208-336D84A346AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9fcc1e1b34c312ad9358ca50b3ec2aa6dc36d22","datavalue":{"value":{"entity-type":"item","numeric-id":851912,"id":"Q851912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853014$F67D41EC-A863-4C4F-A0F7-5E0C031D9276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a9127a08ce1284444c7abbb6644461d8d97e072","datavalue":{"value":{"entity-type":"item","numeric-id":1607048,"id":"Q1607048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853014$3B5E1557-6AE0-4B56-9851-E35A9DBE8E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf18edb37f2082a746fe6669bb13e001314c8a7b","datavalue":{"value":{"entity-type":"item","numeric-id":3824395,"id":"Q3824395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853014$AB5CB88B-45FD-413E-81D3-C4B6758EE626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25599f477c60783ae3e69fe9f32ff9adc90d9a99","datavalue":{"value":{"entity-type":"item","numeric-id":3709888,"id":"Q3709888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853014$E171FDE7-ED9A-4082-BBC7-51B4D6789EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0c53b37a566572d86f01f7ce274b955eda8d24","datavalue":{"value":{"entity-type":"item","numeric-id":3032225,"id":"Q3032225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853014$ECDDA3EB-279A-46EA-A3BE-359B4016F7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6ded35fa4006f2f111406d3f785af5860f3b8d2","datavalue":{"value":{"entity-type":"item","numeric-id":3776610,"id":"Q3776610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853014$4903ED9F-C32A-494B-881D-847C116F07DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483a9f7cf9831d70fffb32aba8273953d1fba5ef","datavalue":{"value":{"entity-type":"item","numeric-id":4291868,"id":"Q4291868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853014$96A740F9-BE11-4009-8145-1411F2451572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"376a5546b47237d55484d74d691533b898a85431","datavalue":{"value":{"entity-type":"item","numeric-id":1350924,"id":"Q1350924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853014$84B0A250-A9C5-4B49-9B3A-413DC4E2250F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10f2df5c1022b51fb47babd7a237213572945577","datavalue":{"value":{"entity-type":"item","numeric-id":674000,"id":"Q674000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853014$087E0229-5C2F-4987-97F3-FEDAFF418188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b331fd0910b3fe864dc718df0d24297418195d5","datavalue":{"value":{"entity-type":"item","numeric-id":1603411,"id":"Q1603411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853014$9273C77A-B828-4676-B384-FC03EDC9CFD1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e998e4aa8351bfcd302df2744b9c509600c37a5f","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(01)00271-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1853014$903B7534-9437-4E5B-A4E7-A033FB6426F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7bf862bfddaeb12609ba3d676db375dc1153254a","datavalue":{"value":"W2024147165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853014$5D7E1D2B-51B5-4538-AA3D-A8AF4CDEEBC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0df61d7ee61daf7c388abb67ddb8e3bdaf0c362d","datavalue":{"value":{"entity-type":"item","numeric-id":1603411,"id":"Q1603411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29cb520567d204ae3c30deb5ff3ce2b83dcdbfa5","datavalue":{"value":{"amount":"+0.8109425902366638","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":"Q1853014$3FD879DA-7426-499B-8882-59D631DB80F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b41c0db9ffe30a3382d8fd979092864b27f12fdb","datavalue":{"value":{"entity-type":"item","numeric-id":1607048,"id":"Q1607048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ff16897d6ff4a59198bdcba3461d49ca05db08e","datavalue":{"value":{"amount":"+0.8012275695800781","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":"Q1853014$149AF411-643C-4828-BF36-BD509BB9BBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bac195583cd810468555f86b230149f9ccf20ba1","datavalue":{"value":{"entity-type":"item","numeric-id":1350924,"id":"Q1350924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9068055f004907b95fcb6e1125eb0d8d02b1941","datavalue":{"value":{"amount":"+0.794247031211853","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":"Q1853014$72B9C720-E15A-41DE-82EE-6AF67B92DF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1177ad7c25250cff82e36272822ccd3beb0e0400","datavalue":{"value":{"entity-type":"item","numeric-id":3622999,"id":"Q3622999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1b6fc879c659c692d2938e9a65b66ef278651e3","datavalue":{"value":{"amount":"+0.7745102047920227","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":"Q1853014$9EF89E59-4CF0-4B61-B92F-D2C1CA368634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"339b495fbf70e51a73ee47587fb2c09ac41fc109","datavalue":{"value":{"entity-type":"item","numeric-id":3613412,"id":"Q3613412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2527091d088032a1d9f48918d0fafdd2c0afa7b","datavalue":{"value":{"amount":"+0.7714224457740784","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":"Q1853014$F569882F-FD2E-4BEF-AD43-AC051C198492","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1853014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1853014"}}}}}