{"entities":{"Q5186727":{"pageid":7216299,"ns":120,"title":"Item:Q5186727","lastrevid":48794635,"modified":"2026-01-05T21:19:47Z","type":"item","id":"Q5186727","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3894466"}},"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":"Q5186727$FE71B0BE-D10E-4887-9142-DB612AA4C54C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d333fe148d97806054dc0a07cb713e51fad70a78","datavalue":{"value":"0561.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5186727$3BC91B92-1EE4-467C-A467-CF509A58DF37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q5186727$FBE69740-B7BE-48DF-B55E-5D97884EBC54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5186727$B5EBE16A-C813-405E-B3E0-9A61EAC78E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5186727$0571E436-9FBF-4D1F-A33F-E33E9E4D7866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5186727$C0748ABA-1C01-4D38-B202-6558AAED21D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5186727$454B221C-616B-4F31-A15E-1E923E06CED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5186727$41F5434E-8564-4921-95C1-91EB56B8F50F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81d0b5e3379a0c268b3683be44f491cf4f293a6d","datavalue":{"value":"3894466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5186727$51154145-E530-4709-AAD2-30CC88623F44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea811d864a984b410a67df5fbc1ccbc3b77db799","datavalue":{"value":"second order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5186727$CBAD536E-9310-4ACA-9A96-6C0E5FF559C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc7d5b24174ad38b89c3de5b379b8c1e77365493","datavalue":{"value":"PRL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5186727$3196E479-30E4-4EC0-8E46-9AD09EEBE5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f034e5ed337b821ed38cb69e5344a91aca5210b7","datavalue":{"value":"program refinement logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5186727$CB37C98A-D861-4A3F-A66A-1155BC122AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5ef65a64ed2128194a82dc20f744211e7d7bfd","datavalue":{"value":"LCF","type":"string"},"datatype":"string"},"type":"statement","id":"Q5186727$B49B2A49-A3CC-4C11-94DD-CCD0CB5285CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e382dff0a9e23b0b8c586f98f4304fdfb91a806b","datavalue":{"value":"Cornell type theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5186727$1D978320-9047-4805-8EA5-508BF24B80F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9f99e72dec046038a5377ceee67d8841bab629f","datavalue":{"value":{"entity-type":"item","numeric-id":1051423,"id":"Q1051423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5186727$C86D2837-305B-40F8-B44E-8551DB09E474","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":"Q5186727$4290CDB2-0B50-4E74-87D4-A0F7F1720323","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73124ac6a3cd9c13d79448c43935324f05f53da","datavalue":{"value":{"entity-type":"item","numeric-id":3319764,"id":"Q3319764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"669ab9bbaff41bb5f0d33d9936684c2f2eec3fea","datavalue":{"value":{"amount":"+0.8900315165519714","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":"Q5186727$E8FC923E-74EF-4182-AC12-DBE23025E0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bacc6d2a90af26a415d0f1e5cb1ad815d32a128","datavalue":{"value":{"entity-type":"item","numeric-id":5458392,"id":"Q5458392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de58dce7bd5d9ab2dfd2a55ee6aa33f7e0a8aec9","datavalue":{"value":{"amount":"+0.8022258877754211","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":"Q5186727$B49C3DCC-5D24-4634-803D-7AAFA0843B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e7fa6c7e52d48eababebce9f9e6b6da89ab292","datavalue":{"value":{"entity-type":"item","numeric-id":3707360,"id":"Q3707360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fedfcda38be01ccd2a8ab3e05915efadc873e6e","datavalue":{"value":{"amount":"+0.7999521493911743","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":"Q5186727$94573163-BACE-4742-ADE0-BFF31C3CF2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1dc41e6f20ecccd8590bd05e35fce12348207a8","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c58a08d94638701cdc89a7caeda6525ae6e9469c","datavalue":{"value":{"amount":"+0.7823721766471863","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":"Q5186727$D056896F-7BB5-49AC-9FBB-B02D14145632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"787bce44c26bfa68c4bdd6a337d32f1925d9a163","datavalue":{"value":{"entity-type":"item","numeric-id":3757915,"id":"Q3757915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ac4c8c646e82a0e387aa733a4ecbb0b6d6efa2c","datavalue":{"value":{"amount":"+0.7805317640304565","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":"Q5186727$251B3E3B-AE4D-4C32-B597-1A35F8875591","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5186727","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5186727"}}}}}