{"entities":{"Q4740562":{"pageid":6770142,"ns":120,"title":"Item:Q4740562","lastrevid":28883003,"modified":"2024-03-05T16:10:26Z","type":"item","id":"Q4740562","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3795950"}},"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":"Q4740562$F06BAB20-A8F4-46BE-BA6A-5B42A8B7B695","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a19009bc0ef631cf60f87f3b49f4bf8bd8404054","datavalue":{"value":"0505.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4740562$4FE10782-6D68-4911-A346-B528EC14E5E8","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":"Q4740562$A2299885-AE89-4B07-AD20-D6DBFC8E7598","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4740562$DD160AE4-F850-4B49-8178-4023F206F0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4740562$7DDE68B7-E4E7-4AE8-AFEA-A87157287C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4740562$C25C690B-20EB-4B1E-9D94-ABEF74257CA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fa24409272c8697855e26b460eb6e4ce7ec2e9f","datavalue":{"value":"3795950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4740562$5C85D6A7-FEF5-45DF-B058-C91E2D405577","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d25e98a2bc8b71348e997bf9bd35f5e589d822a","datavalue":{"value":"automated logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4740562$1CFC6FBB-9A12-4585-B8B4-A5DECD06FB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4740562$71A6D51B-4C06-483C-B220-915F100FD0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d7c24935dcad54bb8b35bd2297a2d654d149a5b","datavalue":{"value":"constructivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4740562$66EDD998-BA9C-445E-A2B1-AAB1A6664A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b7fd26f3b9db18e91571135b6e6a63a3f7fa303","datavalue":{"value":"intuitionistic predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4740562$A5D4A118-D277-490E-B2B6-8A5CD33D9552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92f25b9ea895f2b57606a79389bb66216727043","datavalue":{"value":"recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4740562$A8BACAF2-46A3-4AA2-BA71-A6DDE613FD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc4bafe6ad5e2f3cf1072f045d8b2c71e6dde0cd","datavalue":{"value":"programming logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4740562$A25FB723-8800-407C-ACC0-5B3EF75270A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4740562$09247202-F319-4890-B1DA-F17036D4E7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4740562$FDC93307-95FB-4832-9373-C88592525349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba5620c65b3b1616ab8ae31e5468b0e08272974","datavalue":{"value":"type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4740562$77DD2765-B355-402D-B352-8E4B3330DFCB","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":"Q4740562$6D98DA59-C63F-44B5-8DDD-F71618D2841F","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":"Q4740562$A1172FB7-D295-4B13-A85B-3342B64C7359","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4740562","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4740562"}}}}}