{"entities":{"Q1319364":{"pageid":1330114,"ns":120,"title":"Item:Q1319364","lastrevid":70132047,"modified":"2026-04-13T12:39:33Z","type":"item","id":"Q1319364","labels":{"en":{"language":"en","value":"Recursive versus recursively enumerable binary relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 549799"}},"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":"Q1319364$655D19D0-C293-4A53-B93A-A936E9E9D5E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1041731ea06b5b5907a831fb8920434f52eb534c","datavalue":{"value":{"text":"Recursive versus recursively enumerable binary relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1319364$182167B9-C7FF-49F3-AAD9-58AB4C79B8E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04f275dd0ba274a0bf9b81a3bccc014b82c3d55c","datavalue":{"value":"0796.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319364$9A22D938-1297-424F-9369-C28366CC88ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21fc3619f6b634ff3f50e32c355e39c1536e1bff","datavalue":{"value":"10.1007/BF01053261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319364$1778DE3A-E99E-4EE0-A796-935F12C1DDDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23d9a817b36499a09a95b3b83dc51374692c1b91","datavalue":{"value":{"entity-type":"item","numeric-id":1120566,"id":"Q1120566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319364$23524366-3F23-408D-A904-4BB0CC1E8989","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319364$C13F8BA9-1EF3-480C-A718-D583E87C67D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43a82918b7cb04f59437503b817f00af9741808a","datavalue":{"value":{"time":"+1994-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1319364$78D92D43-6CDD-4B78-B015-92C904D631B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319364$4A04446F-8D3C-49EC-AC04-C7E48C15CC73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d32566adb83b0c5f1421e978ebe1e15c6aa54af","datavalue":{"value":"549799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319364$5CF1C647-A417-4C4E-A68A-C4ED710B26A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0418a2661fa39dd4b815a73f7e091e40c5feaf7","datavalue":{"value":"antisymmetry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319364$21C4482E-5C25-4400-8992-89708AED1F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a68f1cad860d547535af262ab64b5ee5d1af5d3","datavalue":{"value":"linearity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319364$F4A87982-C617-483F-BBA0-7B5C5F2848EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70b90d5598aee02204b9e42832ed7c85847cf067","datavalue":{"value":"recursively enumerable binary relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319364$D63683DE-5B01-42AD-A1D0-3A651DCFC57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a37d1bb6d633639db512fc23634dbf3c6ef139b3","datavalue":{"value":"recursively isomorphic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319364$33914C1F-89AD-47A6-8F74-9D7B903853DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1129df43f18e7e1018ec0b5eef20c99e98d8ee4d","datavalue":{"value":"recursive relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319364$1D9CBD83-629D-4B04-8B48-ECA51FB376BA","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":"Q1319364$9734E9F0-A0FD-4886-AFB2-4DC62071AF55","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4527ca676af996d82bab232009ee4ba7bd19dac8","datavalue":{"value":{"entity-type":"item","numeric-id":762063,"id":"Q762063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319364$819DD663-B2B1-4BAE-9437-1F5F258388B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0e2a48f56ff858a16804547b0c6dc3c9733f0bd","datavalue":{"value":{"entity-type":"item","numeric-id":1230623,"id":"Q1230623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319364$9003EF98-22AB-4E69-BD70-BD161B6FEF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29dd82bde1d3a03fecf5eacfa63d640f03444d69","datavalue":{"value":{"entity-type":"item","numeric-id":3921203,"id":"Q3921203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319364$44F744CF-E5C9-4E03-8369-EE2CA49ECFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc35f7dde4f2d3b8c5bd305f580355729e0399ce","datavalue":{"value":{"entity-type":"item","numeric-id":3690803,"id":"Q3690803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319364$F9834C00-65C1-49BF-B32A-6064683E8C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d483301320293f55a374a9d87a8df8613bea65","datavalue":{"value":{"entity-type":"item","numeric-id":3942949,"id":"Q3942949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319364$5656FAC6-885D-4722-B365-27E77B02D25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319364$940D3817-1521-442D-B1F0-AD6D2E8DE5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5799cd398fd3ceebd68f80d2d4e8519543af5b","datavalue":{"value":{"entity-type":"item","numeric-id":3039336,"id":"Q3039336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319364$67CA3ED7-4523-4F3C-92C4-A55F007F3AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120fc88aec320e8903c1a5bacfa60b4cd8aca25a","datavalue":{"value":{"entity-type":"item","numeric-id":3033753,"id":"Q3033753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319364$FEE47451-617E-4597-8E4B-2499F0643A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319364$9D6F1B1D-25C3-4935-B42A-3E7FAB468E03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3463fbaf663b0d8cc8fd8d42d219a6b2db06451","datavalue":{"value":"https://doi.org/10.1007/bf01053261","type":"string"},"datatype":"url"},"type":"statement","id":"Q1319364$EE4EFF52-6B00-40D2-88E6-A52B8C5ABAF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"706b017a1d070fce574d581d761a8f4841bb680f","datavalue":{"value":"W1989224212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319364$25EF77CA-BDFA-4572-9B4D-ACA165A2270C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"453503a6db4f937c2783c29fa8740b67f8cf50d8","datavalue":{"value":{"entity-type":"item","numeric-id":3313855,"id":"Q3313855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"591211b682e672e09de5e096638cd7b518c8a786","datavalue":{"value":{"amount":"+0.7635540962219238","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":"Q1319364$AACB115E-640F-4D73-B469-CF6F77B50F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f37f4664f636e8ea295584088040d0f0f77f343","datavalue":{"value":{"entity-type":"item","numeric-id":4249358,"id":"Q4249358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddd4795197b396d6c4a7ffd59e8627bc3e5c159e","datavalue":{"value":{"amount":"+0.7506588697433472","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":"Q1319364$912F7B0E-2374-4EA5-B5BC-E8C776A078BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ca222f16c61af127e8b8b376028e69555a31b8","datavalue":{"value":{"entity-type":"item","numeric-id":4314795,"id":"Q4314795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddd4795197b396d6c4a7ffd59e8627bc3e5c159e","datavalue":{"value":{"amount":"+0.7506588697433472","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":"Q1319364$C59722EB-15BC-498F-B62A-F65EDDACDF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"934154f45ff18be711da63c0018693fe4d8502a3","datavalue":{"value":{"entity-type":"item","numeric-id":3149999,"id":"Q3149999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1354cbbf9764312efc61d3e570e56f20494f2280","datavalue":{"value":{"amount":"+0.7444736957550049","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":"Q1319364$1E028CB5-5F4F-4BB3-830B-AFCA5FE85F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c961de6d4121ac057dc9cc2d8b71a8be762eca90","datavalue":{"value":{"entity-type":"item","numeric-id":5499651,"id":"Q5499651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"746954564d433ebdb8c1cab924dd599e783ad234","datavalue":{"value":{"amount":"+0.7397319078445435","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":"Q1319364$6BCA969B-5E03-4D95-AD36-3E3087CB555C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recursive versus recursively enumerable binary relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Recursive_versus_recursively_enumerable_binary_relations"}}}}}