{"entities":{"Q4692942":{"pageid":6722519,"ns":120,"title":"Item:Q4692942","lastrevid":40789586,"modified":"2025-04-04T17:03:39Z","type":"item","id":"Q4692942","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 194975"}},"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":"Q4692942$BB106F21-5D77-424C-9411-6AFA0F2A3EA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6a994fb515bde570150dc183568585f242c0084","datavalue":{"value":"0734.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692942$776E660D-9878-4BC7-A478-6DAE4155FC16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3fdba189ce1dcf3dec02a20b242e7a252ee1a17","datavalue":{"value":{"entity-type":"item","numeric-id":530558,"id":"Q530558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692942$5A92B4E8-5957-4D72-AEA2-B8CB021BF00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e3a9b74a10d39b566f4aa7cca14078ecb000f6f","datavalue":{"value":{"entity-type":"item","numeric-id":438995,"id":"Q438995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692942$3A910935-4AF6-4A3F-9A32-6DB0761E2155","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28319e3934f5b194abbcd5639e9eae3758e9e43c","datavalue":{"value":{"time":"+1993-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4692942$92E45E9D-88D4-4E01-B05B-01BC5532E691","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692942$703D973E-5A0F-40B5-91FB-A03610AE6FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692942$83B1280D-41C6-4B90-98A2-B466188F6C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692942$F43A9E13-1FFA-42D6-9F03-2C9C24033066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692942$2C73737F-4889-45A0-BCD8-40B87368879A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692942$AE5FD0DC-DE71-4FBF-88E0-79A912118FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692942$E030BFBD-2B84-43CF-A434-AF08A7DE6CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692942$AC2012CE-899B-44E2-A1F4-DA251257012C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692942$ED75D630-0DC5-47CD-9902-6C494060DC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692942$23AC5B06-3160-4D66-9BF1-CCA1C5F426C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1df06e7cf3de304aa2a0e3ed558dfd3147100b3b","datavalue":{"value":"194975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692942$5C9DAF83-2C19-4241-B526-5DA89C4B99D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14ea2b2ca07e6667d87e6d1296b4375e912df052","datavalue":{"value":"decidable and undecidable problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692942$4D2A2C2F-8366-4DBF-A1A2-E6586E02A168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b86423b5686667f7394bb6da25ec5323abb4a73","datavalue":{"value":"Church's thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692942$E97169C2-ED8D-4F4B-9BD9-5C3B1E235AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692942$24784ACF-8334-4BE4-9575-38C964C90BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aee419b13f29f23efa882f3ada4c59260850cf2","datavalue":{"value":"semantics of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692942$95DAEABD-B699-479B-B008-EC0F3E6B5854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddcfeee46abb5813b3e7563976d5e5fa249e7b00","datavalue":{"value":"proving program properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692942$484337C7-4D93-4D3C-869C-FF6B43E4DCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26385f80d7e9ef788ac6e53b42950d658b4ef2a0","datavalue":{"value":"nondeterminism and concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692942$A335F08A-73BD-479D-9AFE-5187C6ECB5D4","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":"Q4692942$D500D814-303B-4645-80A7-7DD207AF2ED5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d92e81890e6f7dcc6786931e748ec62a7f2194","datavalue":{"value":{"entity-type":"item","numeric-id":3467822,"id":"Q3467822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c130a0863576be07b42d71b3c003e1384d82efd4","datavalue":{"value":{"amount":"+0.9999998","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4692942$2BABFD0F-0E7A-4618-A113-12F5C06BADAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad561e3cecdc6a81fe70da94541d970f29319106","datavalue":{"value":{"entity-type":"item","numeric-id":4023824,"id":"Q4023824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2515d32a9ca828e8cb88f7437aa4694cdf7ada9b","datavalue":{"value":{"amount":"+0.95621127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4692942$E02F3D38-A297-4072-AA48-B76398C23593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"851263e283edb50b8fbb7a1a75f85160b6dbebfa","datavalue":{"value":{"entity-type":"item","numeric-id":4023826,"id":"Q4023826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2515d32a9ca828e8cb88f7437aa4694cdf7ada9b","datavalue":{"value":{"amount":"+0.95621127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4692942$3C65C85A-898B-40E6-82A2-8F573EBDF172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d307ed9572587989dcc749af3f1578a2141e494","datavalue":{"value":{"entity-type":"item","numeric-id":4877295,"id":"Q4877295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e90cf1d8374ff023d83cbba7fc5bf3d699790021","datavalue":{"value":{"amount":"+0.94989544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4692942$D1517214-F0BF-418A-9E22-39169E203083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfc454a07dd4201c39ced1046e3ede491787682d","datavalue":{"value":{"entity-type":"item","numeric-id":5689034,"id":"Q5689034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e90cf1d8374ff023d83cbba7fc5bf3d699790021","datavalue":{"value":{"amount":"+0.94989544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4692942$743303DC-CEB0-4082-BCB3-ACDFA817C570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58a534cd4273e96397257e5dad979943d2a966d2","datavalue":{"value":{"entity-type":"item","numeric-id":5452363,"id":"Q5452363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8416b2c30829b7dd729fa445b1b753a05f48c46f","datavalue":{"value":{"amount":"+0.94576687","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4692942$049CABD3-F0C9-48B7-98B5-E6D16CAA3857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f828b0d8515c3f99ee1228962bb75a4e6a0375b","datavalue":{"value":{"entity-type":"item","numeric-id":2348045,"id":"Q2348045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14abe8aa40154280fa2a919c87b66b00c3f8f3ab","datavalue":{"value":{"amount":"+0.9420131","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4692942$D2342AD9-D410-4BF1-96EB-6A7E5C33DB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba932685d6e1597913b30cbece121003f9334ca","datavalue":{"value":{"entity-type":"item","numeric-id":1336487,"id":"Q1336487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59b84c974e3d78a5a21ec3c5209803d2e5d68945","datavalue":{"value":{"amount":"+0.93976796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4692942$659F9F88-B363-4238-A955-C3CD4D2CC113","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4692942","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4692942"}}}}}