{"entities":{"Q1166269":{"pageid":1177018,"ns":120,"title":"Item:Q1166269","lastrevid":66506511,"modified":"2026-04-12T10:31:34Z","type":"item","id":"Q1166269","labels":{"en":{"language":"en","value":"Determinateness of program equivalence over peano axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3768951"}},"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":"Q1166269$0EE00223-B7C0-4EC1-B911-24217D6021C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b74d0b1653df8cfd9cf929ce0fa76b499812f5bf","datavalue":{"value":{"text":"Determinateness of program equivalence over peano axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1166269$ECC86B04-6ED2-4193-85A1-F47E505C116F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"529171d3ca78061ff56dc744c2aabf930d6d28b2","datavalue":{"value":"0488.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166269$C049E766-4AA4-422F-B4EA-6DC3095DB66F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86e97e14f52abe140bfb891e4f830486c7f59f5d","datavalue":{"value":"10.1016/0304-3975(89)90086-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166269$BC6206F8-96B9-4B78-B892-914CB63E697D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1166269$31DCD03F-90C8-4826-BAED-FA63899552C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q1166269$9A338001-23F1-44FF-AAD0-020F14149A5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166269$D73F52A0-48D8-4390-82BF-E313A45696A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c94845b0015dd4919d32ca1156ada567811701b6","datavalue":{"value":"3768951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166269$C2F2DF7B-6C16-498C-9EBF-79B5F898AC53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9101e6354c82047309b358b89c7a1774ba3cd186","datavalue":{"value":"input-output correctness theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166269$EA82AFB5-0AB9-41FF-AF85-AE37537905C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee4e70b5a3726ad737c6aa92da85e135ebf1b133","datavalue":{"value":{"entity-type":"item","numeric-id":247008,"id":"Q247008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1166269$83350BF8-C49F-4D57-B4A4-AB212F005C5A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fbe49b0450b953600298c85e4d381ac6b3c4b8c8","datavalue":{"value":"Q114683724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166269$8DBA720F-AF88-4DBC-8633-094B726294E5","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":"Q1166269$06459291-6220-44D8-993E-AFC10DE286A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b4596beaa3ea4a08a7afaa4edc4614c2747433c","datavalue":{"value":"https://doi.org/10.1016/0304-3975(89)90086-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1166269$F5884165-F99D-491C-9183-C9AAB7347170","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2123a0f97f6b738b409714d347418c66914b9dd4","datavalue":{"value":"W2057659025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166269$797CDD25-5756-4241-8A45-D73D0A583AC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc01beee0576bea6ea525779afa0e96e85c3165","datavalue":{"value":{"entity-type":"item","numeric-id":1158948,"id":"Q1158948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1166269$311467F5-A618-4C1F-96A3-3547D80BFD2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Determinateness of program equivalence over peano axioms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Determinateness_of_program_equivalence_over_peano_axioms"}}}}}