{"entities":{"Q1603370":{"pageid":1614110,"ns":120,"title":"Item:Q1603370","lastrevid":47943991,"modified":"2026-01-03T03:44:45Z","type":"item","id":"Q1603370","labels":{"en":{"language":"en","value":"Kleene's Logic with equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1767159"}},"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":"Q1603370$67FEB90E-4B75-46C7-B976-E375F7402516","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"701de9c2c40950eeac759ccee483f6f1505b08bf","datavalue":{"value":{"text":"Kleene's Logic with equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1603370$A51F7A5E-DCF8-4FC2-AA65-359F8C9DE4B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3a15093311c247044f160e52d76f9fd7cada832","datavalue":{"value":"1032.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603370$E1E81416-055E-4033-8A70-311A88B05D6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"deb651603997c7390629d0f187a972bf8c3e1bc6","datavalue":{"value":"10.1016/S0020-0190(01)00155-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603370$01364645-FA6F-4008-BB44-447378330722","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ca85145c5bcf26b9d6b48940983710606ab54cb","datavalue":{"value":{"entity-type":"item","numeric-id":1581051,"id":"Q1581051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603370$9C0F62A8-7F26-4F5C-9E26-20BD4D5E8479","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":"Q1603370$399AD065-2323-4953-9F5B-963B073570AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0325700ca3bc3f7d102c264ab8870dda2d06b4b","datavalue":{"value":{"time":"+2002-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1603370$BD176EF1-60CB-4910-9D8D-C8648E00CEE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603370$67578F94-4BE5-4B0D-BE8F-DA8B04778BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603370$2B536064-C27B-4911-8315-AB01719BFCDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96240481e887638ff5aa4ee6af072e2f09154682","datavalue":{"value":"1767159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603370$63BA65B8-7052-4ACF-9291-DD51DC26B0E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae53b53d17717319e621a0dd3ffb5abbf97171d2","datavalue":{"value":"Formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603370$FEC78309-2010-475B-87CE-81B76ECB80F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e44a161ba26e286cc00f505fc2c17b54142149f","datavalue":{"value":"Specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603370$B42EFE85-FBC6-4575-B204-1A132EB46AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a89191ce3258caf360c088a2d407f2c265616d44","datavalue":{"value":"Formal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603370$670CFD51-0154-4270-9D92-09A5CA6A7A7F","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":"Q1603370$343C50BB-F63B-4B4C-9A9C-7783CAB68F34","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"69351ea81f1b7bc5efbff39f5d2782e216e9860d","datavalue":{"value":{"entity-type":"item","numeric-id":4693184,"id":"Q4693184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603370$7E2C332D-0CEE-4A55-B29E-8695E4AF1F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f919f8b4d2eb645debd94e27c0809c0d981df70d","datavalue":{"value":{"entity-type":"item","numeric-id":3995890,"id":"Q3995890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603370$D26D482A-CF10-4F71-9254-BB9CF44C6176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9adc2ffd4388f2682d98c8f8207b5a8885f09f9","datavalue":{"value":{"entity-type":"item","numeric-id":1123187,"id":"Q1123187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603370$B27B86F9-BD8F-41D3-B0A8-F025849ADC01","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":"Q1603370$AC4C2887-F9DB-4BA1-B1F6-1E0888749820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"381491cff3b69e06c0c0e98db657501f3cc96724","datavalue":{"value":{"entity-type":"item","numeric-id":4133080,"id":"Q4133080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603370$A07DC673-A8F6-457D-A746-1CDC82E876B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dad30fc9d0e257246e7704bef1d150d61ddbc861","datavalue":{"value":{"entity-type":"item","numeric-id":1098274,"id":"Q1098274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603370$7F0C98B1-E07B-4D59-BA86-80CFCFEBA739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aec7fdfbcba4c1d3ff3294dc1f0210ffedda842","datavalue":{"value":{"entity-type":"item","numeric-id":911319,"id":"Q911319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603370$98C02B60-E539-49D4-8484-C6D2A5BD0AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a33e3ad4bd1ae26aa88ab06b119c8408c960c63f","datavalue":{"value":{"entity-type":"item","numeric-id":2729057,"id":"Q2729057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603370$58EFC695-C92E-4928-B188-BFD43059671B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603370$AB875F63-C043-4261-A4E4-F278974984F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffac7d9aa47d7e3194789ac7b17d644b3b3dbea","datavalue":{"value":{"entity-type":"item","numeric-id":4053617,"id":"Q4053617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603370$B6F25F71-1EE5-4471-AC1E-F9C07B2F8198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573bf50881a638b8d1bc1330f0a3383e6e028b45","datavalue":{"value":{"entity-type":"item","numeric-id":4072829,"id":"Q4072829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603370$BEAA341E-9708-49B1-B693-E56E2C3A6036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7050866c2121a8fe6e2a514ebee5b0e4a27e3a5f","datavalue":{"value":{"entity-type":"item","numeric-id":3424121,"id":"Q3424121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603370$532B09A6-4226-47C4-B782-99F716F15E39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a0e6b09773e57d2b308842ef179a65bf5902657","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(01)00155-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1603370$E13D28B7-84EE-4CC5-85D5-DC48DFEC0511","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a8df40d36dc06cbf8e20b1d904bc2b5c635c71b","datavalue":{"value":"W2084806691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603370$E6D5D176-B486-4B73-8EF7-4D07CE6DEA9C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fdb65dba7342befa5a4a0c9c80bd951d39663b89","datavalue":{"value":"Q128022080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603370$9FFF0ECA-CB64-465B-B2F7-59801F7C0D24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489c2f39a1831141b4f06404278419f93eb393ed","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff5620f9650f9c31201457670b3c01a2401ab413","datavalue":{"value":{"amount":"+0.7515211701393127","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":"Q1603370$A0858ED5-F5DD-49FC-9E7E-6E50BFDA371A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596d26b54f8a5a87ba984c5e8fcf96b36ca3e251","datavalue":{"value":{"entity-type":"item","numeric-id":3988058,"id":"Q3988058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57bde328f9b6ce5868693717fc7fe8eeff5a27ca","datavalue":{"value":{"amount":"+0.7347913384437561","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":"Q1603370$6C234317-74BE-4062-950A-DC79DB9ED828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b0ea159e333117f8c3feb6566f9cab3aab382b3","datavalue":{"value":{"entity-type":"item","numeric-id":3567765,"id":"Q3567765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd64448dd0f51fae07d717be1199f0e6b8dc0190","datavalue":{"value":{"amount":"+0.7246161699295044","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":"Q1603370$24975DCE-DF24-41B5-893F-1DE4580F05EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4e685dd3d6d5059dc0bd8a2b049a131d647774c","datavalue":{"value":{"entity-type":"item","numeric-id":5738898,"id":"Q5738898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"297cc7c78633101635267dfb92fffda61129b832","datavalue":{"value":{"amount":"+0.7225306630134583","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":"Q1603370$B73B1600-36B9-4A59-8A4D-5793A01FFAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afc9093763a1affff82939a36e10c2a0252ee561","datavalue":{"value":{"entity-type":"item","numeric-id":5096332,"id":"Q5096332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b67c57a2c0dbb698911cb148491468bb908bcb9","datavalue":{"value":{"amount":"+0.7152365446090698","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":"Q1603370$CD83D6C5-A708-47A0-8144-391103B9EEF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1603370","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1603370"}}}}}