{"entities":{"Q4202935":{"pageid":6232536,"ns":120,"title":"Item:Q4202935","lastrevid":47184949,"modified":"2025-12-31T22:53:04Z","type":"item","id":"Q4202935","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 408791"}},"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":"Q4202935$1181BCBF-DA31-476E-9F75-6F2372DCA761","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cad94c16936a137c0ee727590c23ea7bc3b267f4","datavalue":{"value":"0783.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4202935$B0093D08-A322-47E3-AD94-23AB288AB144","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1016c7e6217ba6f9fc4fe7e518f619aad78f491c","datavalue":{"value":{"time":"+1993-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4202935$7C66C6C7-CFC6-424D-9EC2-73EBA65DB82A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4202935$A48EF644-E201-41B0-9185-7D882039459F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4202935$DD804ACA-DB78-4B68-85A1-B22811ABB688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4202935$AAF7C626-9B4B-4C8B-8118-36187BE115C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4202935$0EE16CF8-B14B-49B0-98E9-F7972E999480","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d35d45626d8abd88a82a3b8c6015647403461cd7","datavalue":{"value":"408791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4202935$EC1EF743-5CD3-4217-9228-F7AA68089000","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cd07a39eb621d3af4dd937ede94cfe3637f8bbc","datavalue":{"value":"logical complexity of bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4202935$C6E7A692-320A-47E6-B54D-55B18EEAD2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17f6ce61a440a0071dc6a10fe70e348ca94dfc72","datavalue":{"value":"semantics of parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4202935$ED1403E6-AEB8-4377-AEC0-FBE2541A45E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32e2f49710322b5ba06caee69c3a4427970ed180","datavalue":{"value":"complexity of parallel computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4202935$645197B5-8F30-4924-BA0D-D2988939B8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"524aac10a06d67a324962832748b21183fc0a411","datavalue":{"value":"subsystem of the Kripke-Platek set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4202935$8C0BA934-9215-40DC-AEA5-E6DF5B37B469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef1059ded76113e8a55895e9c6444f3ab0f16cb","datavalue":{"value":"primitive recursive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4202935$6EE497A2-410B-4643-BAD7-6033F54A4684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfa57a7701da43a32ad093118a852eb576eb8a08","datavalue":{"value":"model of the Anti-Foundation Axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4202935$B3F100B7-A88A-4831-A75C-ADAE3B342AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ef7d9e7fc9882bbae1db0036cc5d28c9b16662","datavalue":{"value":"explicit mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4202935$90CE3041-7200-45DE-9BD6-5A4DEA6636E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4202935$4D20B01E-39F3-405E-B583-65F113CAF316","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":"Q4202935$5428CC1E-CED4-4701-8AAA-BA086E809D18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7391fb887c99977851a6e124bdf4f63cea1e3b11","datavalue":{"value":{"entity-type":"item","numeric-id":4373426,"id":"Q4373426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"284984ec88b4711c03dd460d972b1dd6b37fe27e","datavalue":{"value":{"amount":"+0.725077748298645","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":"Q4202935$27E7820E-2B5D-414E-89F3-7D5D7376624F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a49fdf38010b8438f3783aedab6c21af9be3576","datavalue":{"value":{"entity-type":"item","numeric-id":1181863,"id":"Q1181863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"284984ec88b4711c03dd460d972b1dd6b37fe27e","datavalue":{"value":{"amount":"+0.725077748298645","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":"Q4202935$D24BD73A-3E00-4844-BAD8-56AC23DA3FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"802aa8c846ef1c6d8b4e33dc68c7fcb1e44e7102","datavalue":{"value":{"entity-type":"item","numeric-id":5057465,"id":"Q5057465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59c98b13adbc435510dc488b14cc412c179faa31","datavalue":{"value":{"amount":"+0.6942147612571716","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":"Q4202935$50898BEB-DA28-480C-917F-417500793252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"758c0b78f117399875077d5348def1538213d39e","datavalue":{"value":{"entity-type":"item","numeric-id":4032873,"id":"Q4032873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4456f89e675fdd0b66066170d010eae015e5a90","datavalue":{"value":{"amount":"+0.692455530166626","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":"Q4202935$39EC21AA-7FFE-4BC2-B837-AD9894E3AFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf070a874ac567e77ffd6fc2bc21f44443e6ddff","datavalue":{"value":{"entity-type":"item","numeric-id":4395612,"id":"Q4395612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aca4a8b8eb7a1da50446723e1ea2d4273dca315d","datavalue":{"value":{"amount":"+0.69170743227005","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":"Q4202935$8FF00CF4-3BAE-4DCD-B132-EAAB5B6A7A15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4202935","badges":[]}}}}}