{"entities":{"Q2550288":{"pageid":2561031,"ns":120,"title":"Item:Q2550288","lastrevid":72767607,"modified":"2026-04-14T07:42:31Z","type":"item","id":"Q2550288","labels":{"en":{"language":"en","value":"Program proving: KJumps and functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3364780"}},"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":"Q2550288$138DDA92-0CC6-48F9-80E8-DB9AC61E4ABD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eea04fe8ea4ebe5bb600c227c2eb5147df330cc6","datavalue":{"value":{"text":"Program proving: KJumps and functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2550288$2CD927EF-5D5A-4150-BCF1-9653DB923590","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c79ce09e1fa4462a1f2732478e1bdd3f7b622b01","datavalue":{"value":"0229.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2550288$BF5F0CCC-876A-42E8-8783-17468E73DD39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0a28ea4db40c90c8163f0b93400d0dff698829f","datavalue":{"value":"10.1007/BF00288686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2550288$9504D4FE-5C25-4C0E-B5B3-10C43971A766","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2550288$9796BF4A-BBC8-4701-85EE-7406F21B6D24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"652ad65ffdd573691be68fbfe67aa0cdf6812549","datavalue":{"value":{"time":"+1971-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":"Q2550288$57EBBE1F-DCF8-4F80-A35F-B64855FE2845","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2550288$C5EDDECC-C9E7-4427-869D-9D7A1FF5E69F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14bb7b578cc1f9d5ded922304bd1633d3d0beee7","datavalue":{"value":"3364780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2550288$1BBA1E8B-09B1-41F0-81D2-A8919D5D0361","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf6ed44237c8a846b39f80fa5d14c2c303f7cd80","datavalue":{"value":{"entity-type":"item","numeric-id":676843,"id":"Q676843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2550288$F06710E3-A739-43EC-BC48-FFA8F191E5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6864df6a81eaf3b55e725ae1e843ca021bc92c02","datavalue":{"value":{"entity-type":"item","numeric-id":578899,"id":"Q578899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2550288$6470B0C9-6C6C-4B2C-9D28-24E9794FCC13","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2550288$6206881A-3166-4A7D-A21D-9AE418EE124E","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":"Q2550288$A8D43E78-879B-4B55-9D64-F37BDF63E6E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2550288$15271A2E-959B-46F5-A399-7812D8690ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e4e57d2c90cbe4e8731f3014cdb1a91eed7a8b","datavalue":{"value":{"entity-type":"item","numeric-id":1945039,"id":"Q1945039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2550288$429C553C-21D4-4330-9C75-D34FFE2D374A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1208c35792fdf6d7234d5d330a526691eb60bc71","datavalue":{"value":{"entity-type":"item","numeric-id":5345264,"id":"Q5345264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2550288$C3F42A0B-D365-43E3-93EC-C8E3E97267BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52bc0811194bdf9570ca05bb914b29cd437d0d7a","datavalue":{"value":"https://doi.org/10.1007/bf00288686","type":"string"},"datatype":"url"},"type":"statement","id":"Q2550288$3C399B6C-40C5-4181-8D61-FE5DC3652CC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e10b3604b66274480f2df78887953be25f2a78f","datavalue":{"value":"W2142018213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2550288$42F99977-FDDD-407F-A741-B8273BC17EBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program proving: KJumps and functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Program_proving:_KJumps_and_functions"}}}}}