{"entities":{"Q5210785":{"pageid":7240356,"ns":120,"title":"Item:Q5210785","lastrevid":53639249,"modified":"2026-01-25T11:42:28Z","type":"item","id":"Q5210785","labels":{"en":{"language":"en","value":"A mechanization of strong Kleene logic for partial functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7154559"}},"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":"Q5210785$5E329FF6-0F52-4D4D-8DE4-CB89DAB07F26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29a85051b8715871181c26fb0335a2516c7bbb16","datavalue":{"value":{"text":"A mechanization of strong Kleene logic for partial functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5210785$729E1F6F-89F5-4D64-8014-B9CF97BF4CAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f6d6551b35654308d3fb1cfd2dd76d3c74eb09e","datavalue":{"value":"1433.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210785$E4723466-E0D8-4F07-8A2C-BA5F80463C3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e0d3e81c234cb116d94ee5f974f7ec478962a6c","datavalue":{"value":"10.1007/3-540-58156-1_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210785$C4B55936-FEFB-44B7-A4B0-C01BB75E80E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7312aa49e695258fc219389a5f4fc014d345696","datavalue":{"value":{"entity-type":"item","numeric-id":504392,"id":"Q504392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210785$8902EA17-B3F1-46D6-B240-FE8FE550BCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2058e152866416201cc45ced58405f55031245a7","datavalue":{"value":{"entity-type":"item","numeric-id":219445,"id":"Q219445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210785$28961475-DB5A-42E5-A2AA-13EEAE2DD8B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ce55bffd503afc59f0668cb8e4536460b24d029","datavalue":{"value":{"entity-type":"item","numeric-id":5210757,"id":"Q5210757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210785$88B7FFCF-30F5-481A-9164-651E0CF318D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a33e9289a41a440ea82601c0f5c7fc7756e3797","datavalue":{"value":{"time":"+2020-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":"Q5210785$6A2CE048-654E-4782-9971-C824E6BA7A5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38fb4035ad73ec071d5b9e81bfd9d0467f76cd85","datavalue":{"value":"http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:hbz:386-kluedo-3309","type":"string"},"datatype":"url"},"type":"statement","id":"Q5210785$5352860A-5203-46BC-82E7-CC1CCA782A14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210785$61501EF3-6D14-4185-9F68-DFEBD4E10488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210785$DCD6048E-655F-455E-B0E3-FF3294A8E112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210785$05B2D9F7-1BD8-4BE0-8258-4564B3B16897","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b1559e1f44d99b1551013095b8414309c9c70c8","datavalue":{"value":"7154559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210785$3F8D4FDA-23CA-4DFF-A52F-EE775D406C79","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b799da0cc0efb29a46dd283874e64386ca0e87dd","datavalue":{"value":{"entity-type":"item","numeric-id":21136,"id":"Q21136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210785$F3867D06-CF85-41CE-B04A-9102C40E2ABA","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":"Q5210785$14B85F89-C322-4420-B5EC-AC6CA99C45B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07d240789e68d1862b072ce1a1725adbe350ac26","datavalue":{"value":"W1491709951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210785$98F1E7B5-6990-4B05-84B7-6FF9EBA09867","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e19bcc8ceeae09bfe2823325d7d61b377dc18bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5597535,"id":"Q5597535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210785$EDA6FEAC-1006-47B9-8DFD-8D7E91BDE975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea0680adabfd3136a28982fdc321cf3395011301","datavalue":{"value":{"entity-type":"item","numeric-id":4255505,"id":"Q4255505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210785$A713E5C0-9416-4B1B-8EB5-002469D0457A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd99276c611a0b07b3afe6756018507155148f8c","datavalue":{"value":{"entity-type":"item","numeric-id":3142560,"id":"Q3142560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210785$EB09A97D-C07C-421C-955D-4E1E344E2F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e907ecc4b6a4a0d62538b9cd4488edd73b11e8","datavalue":{"value":{"entity-type":"item","numeric-id":4255513,"id":"Q4255513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210785$CC60ED59-534A-4EBF-A55C-3DC9CEF21774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210785$B4EF12FA-689B-4575-94C5-0C92AE3BB4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41a8555e95c2e50b94f6ebefe107e921d0116fb1","datavalue":{"value":{"entity-type":"item","numeric-id":4012975,"id":"Q4012975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210785$AB64E306-C376-417B-993C-ED53C45DC065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a4ef3cf5529c302dcba2d05b41a61a0e7210fe","datavalue":{"value":{"entity-type":"item","numeric-id":1101261,"id":"Q1101261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210785$CDBAAB84-CDAA-41DB-ABB5-1E90FFF8691A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e469695a6ccdc7d8268978ac58e95413371ff1c","datavalue":{"value":{"entity-type":"item","numeric-id":5753924,"id":"Q5753924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210785$6B5D23A0-2668-4643-976C-3348C4FB987D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa946e46dd7fe5ebbecad5b92f77605dd2ee5cd0","datavalue":{"value":{"entity-type":"item","numeric-id":1319391,"id":"Q1319391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210785$F725DADB-9B86-4371-82FC-80F7C3AE7FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c89e1d9004398ab389501fb07d2ceb4cfccb559","datavalue":{"value":{"entity-type":"item","numeric-id":1182164,"id":"Q1182164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210785$73FF15D0-C6DA-4418-A4D7-A93A8A92E1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5251d862db37b18c0c514a0f92835960323642c2","datavalue":{"value":{"entity-type":"item","numeric-id":4289327,"id":"Q4289327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210785$C1DFB39F-6FDF-4DE0-82CB-842D6B66D987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dada7ade7212f26d23d31c0364cb11b77fa03644","datavalue":{"value":{"entity-type":"item","numeric-id":5210785,"id":"Q5210785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210785$3E433182-44E1-40EE-994C-42FB8695E14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210785$39EC1C51-2DFC-46CA-B2BC-36D6C8AFBB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4da0150ec788f9116c5a0cbc83c6b76b7e62cba","datavalue":{"value":{"entity-type":"item","numeric-id":5545946,"id":"Q5545946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210785$8DF144C1-771B-43C2-9BAA-8492E68F7A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"582d7caac7438094c495a95ab94434ac0b7d381a","datavalue":{"value":{"entity-type":"item","numeric-id":5096142,"id":"Q5096142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210785$8FD3B429-1108-4881-AFF4-74F9704BA77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febe5bf101c3b7d6dce19439eb466caa5715de79","datavalue":{"value":{"entity-type":"item","numeric-id":5624683,"id":"Q5624683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210785$1FFB4682-770B-4179-BD1B-8FC4EBCDD67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0019d907973d7569cdd61ec3c8c4f916896acc5b","datavalue":{"value":{"entity-type":"item","numeric-id":1801289,"id":"Q1801289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210785$263F633A-56AC-4698-8E5C-D92D9FC51750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1f320038fbfc629546499fe7dc02e4ff3438f01","datavalue":{"value":{"entity-type":"item","numeric-id":5556399,"id":"Q5556399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210785$4760A106-17DA-42E0-8C41-7663DE36D0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5401f9b2d0bd511e74750cbfe0e619e49f66b9f","datavalue":{"value":{"entity-type":"item","numeric-id":3949031,"id":"Q3949031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210785$BD368864-6CA4-4358-A6F3-A82ED6DBCB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a177420faefcfce6396fc744cae98a5ec9b03f8","datavalue":{"value":{"entity-type":"item","numeric-id":3992821,"id":"Q3992821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210785$6D98AA5B-D364-45B6-89D2-00B975BBAA43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70ea41c8d5a8c052c87685c0115856f3d1b2c1b9","datavalue":{"value":{"entity-type":"item","numeric-id":4885908,"id":"Q4885908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"003e91af8f50a1b086450305a1b0bd12de87b5f0","datavalue":{"value":{"amount":"+0.8315725922584534","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":"Q5210785$86474172-D0B1-482A-B9A2-59120FA83754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8119ec3aa981e9a9db002ac60c0b87fa899679f0","datavalue":{"value":{"entity-type":"item","numeric-id":679251,"id":"Q679251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"557b179e92341cbaf9f2f95991fd75f12686ee7d","datavalue":{"value":{"amount":"+0.8285411596298218","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":"Q5210785$7BDF4AB2-C23A-42C9-BC89-20A5B3A5C3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7854d8d87637b7ccc5c885e4f2cbb2a7dfc6ef59","datavalue":{"value":{"entity-type":"item","numeric-id":2987064,"id":"Q2987064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dfde4892297ea3c13ba7513fb76c7f459ac3a0e","datavalue":{"value":{"amount":"+0.8075461983680725","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":"Q5210785$0B506935-9F3D-42BE-B618-C13039C8F1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e43dbe1520a1337ef3145fb25110ab262401fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5096142,"id":"Q5096142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99c00561354989ca00bd27e1ce8c8023ab14adba","datavalue":{"value":{"amount":"+0.7893231511116028","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":"Q5210785$417E883E-CFC2-42D8-A936-8DDF558ABB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f03018ffb0078204fbf896197965deeaec28d9","datavalue":{"value":{"entity-type":"item","numeric-id":918965,"id":"Q918965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d6017a39b1902edb410180e7269c04166b38314","datavalue":{"value":{"amount":"+0.7851776480674744","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":"Q5210785$1AFB88F8-9486-4C58-8E89-E721D8BA6B7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5210785","badges":[]}}}}}