{"entities":{"Q6133701":{"pageid":13268008,"ns":120,"title":"Item:Q6133701","lastrevid":58702788,"modified":"2026-04-06T09:42:48Z","type":"item","id":"Q6133701","labels":{"en":{"language":"en","value":"On the complexity of rational verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7730283"}},"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":"Q6133701$BEBD3A3E-A8A1-4B22-BF1E-D3BE296C4DD6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fcae3bf79aea272296c330093bf225a2e8e6301","datavalue":{"value":{"text":"On the complexity of rational verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6133701$E02FD56C-2298-4B77-92D1-261C630812B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c83e4af14bfe1a46b2cc1e1d2fe63d184f56896f","datavalue":{"value":{"entity-type":"item","numeric-id":345708,"id":"Q345708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$D810E92A-6F41-485C-90B7-7888CF43EDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa35dbe9b979fa9ff9dcdfa8f8129bca0b671cd3","datavalue":{"value":{"entity-type":"item","numeric-id":2038084,"id":"Q2038084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$93C7C068-3A9E-49A4-B8C0-D0629D44823B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"752e5be1447898a2ac61f3a9737d4a015411a19d","datavalue":{"value":{"entity-type":"item","numeric-id":314470,"id":"Q314470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$82FE9CA6-6D92-4FDD-8885-1FB0D5633B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31fb02981f4d83094589dc387feedb07b22856a3","datavalue":{"value":{"entity-type":"item","numeric-id":310096,"id":"Q310096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$39AC6590-297F-4FF4-BDEB-70672FEBD968","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$950BBA42-1B15-4836-9DD4-8A4B697B00E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b435be9e480714ca524ba5b8a4f1e43894a87ad","datavalue":{"value":{"time":"+2023-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6133701$A6BA2940-C6E0-42AC-8EF3-A7CAC4EB7E54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"192475c15a06707c7fee741b8dab6aab073c6296","datavalue":{"value":"https://arxiv.org/abs/2207.02637","type":"string"},"datatype":"url"},"type":"statement","id":"Q6133701$4F74D01C-5D01-4901-9E91-C7EA64122C1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6133701$0F62E08B-3C3B-4E16-A9C1-B174077DF8B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de21c7f6cf374b68fd9d0607b7175f0d8b688570","datavalue":{"value":"7730283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6133701$65245780-31A8-4403-B0AC-ABFAFED19E1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6133701$7142D179-F47C-4171-8689-4EF9BB478059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8836868e1c908239a96965e3f22c08df855770f0","datavalue":{"value":"game theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6133701$6D71291E-B5FA-4892-B0F8-4F4FB437B89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c267ac2aa67de11fb7b9e0146b53d1d487492e02","datavalue":{"value":"rational verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6133701$EDAC3E65-C4B6-4DEF-980C-86E140D6BCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6133701$A0646A72-8992-4BE0-85A5-3CF12E4A7326","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":"Q6133701$7DC2F53A-4F3C-442A-B681-AEDC35DF1B65","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$1DF99194-305D-4113-8379-A3CE346C4204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11f5746ea4bacdd7b399439ead75c0b127d95cd","datavalue":{"value":{"entity-type":"item","numeric-id":5277690,"id":"Q5277690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$FA6657C2-4407-46D3-9C30-1CD6704C9E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6af1feed9420fbd9bfd80527390996ecd04d3fa9","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$A44A2496-59B4-492B-8EF2-88DDA4B8DFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb69548772c3838bfb96f1fbc045e23fb4ea6f5c","datavalue":{"value":{"entity-type":"item","numeric-id":2946736,"id":"Q2946736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$495A51DE-7219-403F-BEEF-5F09275FA2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2cc99a8d71da1c5a6110884877d19a97e5ebc24","datavalue":{"value":{"entity-type":"item","numeric-id":4977976,"id":"Q4977976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$9C6738F2-C5D3-400E-9A26-711A4B51C021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$1F66CF95-DA9C-460D-A6F6-B752F286E483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a12cb598d98d97d37467fdfec8f830a34dd499ed","datavalue":{"value":{"entity-type":"item","numeric-id":4598263,"id":"Q4598263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$B2471417-F096-48BE-9DF3-48ABFCBB7689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8debd096676f2a99ca1ff913429a2d70db497807","datavalue":{"value":{"entity-type":"item","numeric-id":5009456,"id":"Q5009456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$31B2A52C-FADE-4CB4-B0C3-5774E057A3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$60652E33-6B0F-433F-AB11-3C246F6306DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6fe1ada6ddc09e15a317031b98d11d1ee72f407","datavalue":{"value":{"entity-type":"item","numeric-id":5145317,"id":"Q5145317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$019C1D5C-40D1-4DFA-A1C9-C87A0924DE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f53750f6f97bf611de436c1c9e3df97c92a7bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3557077,"id":"Q3557077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$62CAC1AC-AC41-4668-BCC4-597BE12D4BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aabe0f67caf8653cd1f7e4dedf98a2589d94cebb","datavalue":{"value":{"entity-type":"item","numeric-id":5357709,"id":"Q5357709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$6E9F1CAE-3DBA-4A26-8E50-2C56FC89AC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b96154e0b66d5a8d35e46c2a03a270fced0e92e","datavalue":{"value":{"entity-type":"item","numeric-id":2346405,"id":"Q2346405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$7747C24C-51F7-4D39-AFF5-FFCE9BA9CD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e310a5f59d0da4e4791c4c584a72f49ca4dfaaa1","datavalue":{"value":{"entity-type":"item","numeric-id":2407463,"id":"Q2407463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$6B61011E-4B61-4F09-83E3-542E7681E1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"052832713e3ff03f1cc03da3f0f849a7fe130176","datavalue":{"value":{"entity-type":"item","numeric-id":345709,"id":"Q345709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$DB18BF48-0F00-47AC-8880-43C8952A4AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2626181f4d3f137348345fd1dd5a4f414d667ba","datavalue":{"value":{"entity-type":"item","numeric-id":2211871,"id":"Q2211871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$16387A2E-477C-4E09-AA52-91AC32D0F4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45a61829def6af3d075f3696e2f3e52a1841b6b","datavalue":{"value":{"entity-type":"item","numeric-id":1641035,"id":"Q1641035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$11331B91-D887-47BA-A870-74283FA2A2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fdf560790028689b31f820345fd7f3e402b946f","datavalue":{"value":{"entity-type":"item","numeric-id":314471,"id":"Q314471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$5CADD13E-0652-4E53-A893-41A45F9A4C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6527e7018fb4fc6f638f05f80534e57354446f90","datavalue":{"value":{"entity-type":"item","numeric-id":3576736,"id":"Q3576736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$D6590E30-62EC-4777-87EC-0303256BB81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$53FE3C5A-D255-424D-A0D3-980EE972FF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc0245620636c061da256a372bbc4096dfc478","datavalue":{"value":{"entity-type":"item","numeric-id":5054804,"id":"Q5054804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$EDB0D7BC-6075-4EBF-A78E-A09BE431D13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112f0789b08a7a60760cf66aad6fbf939a8b9cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1168053,"id":"Q1168053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$A458A2BF-36AA-41B7-975D-18EBC54F97F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9713421918f6869e50dd22e530b5f937b309d98d","datavalue":{"value":{"entity-type":"item","numeric-id":3090850,"id":"Q3090850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$F087E897-1D97-42D9-8890-EA0F1224C706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257b1d08d00265b4b9d7f1f76c094108a4e385a4","datavalue":{"value":{"entity-type":"item","numeric-id":1351468,"id":"Q1351468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$7B071509-55C2-4461-982D-D66AF151BB0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b6a7b5b0c0a18a500f06caa103283ece420e066","datavalue":{"value":"10.1007/S10472-022-09804-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6133701$EEEA3049-C209-4DBA-9E9F-D4881A522D72","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6133701$B916A007-7D65-436E-A71C-18635A3D2D24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6133701","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6133701"}}}}}