{"entities":{"Q6878006":{"pageid":20764600,"ns":120,"title":"Item:Q6878006","lastrevid":84219155,"modified":"2026-05-13T18:05:59Z","type":"item","id":"Q6878006","labels":{"en":{"language":"en","value":"Probabilistic verification in mechanism design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8141957"}},"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":"Q6878006$C702B720-0F48-4D89-B586-AF742E6285A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ff23e61e3be73b015887cfe8c76db79e5c1a8c7","datavalue":{"value":{"text":"Probabilistic verification in mechanism design","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6878006$29556CA9-320D-4B5E-ACB1-531239E7A311","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb8d6f0f0a4f03f7727c8caa9d64e77aaa2468bd","datavalue":{"value":"10.3982/TE6266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6878006$A5B37E74-7C43-4939-ADA7-36A7D8775AE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8e0c93b8bdfbb9e9033f7376e1f061f62c2c0e6","datavalue":{"value":{"entity-type":"item","numeric-id":6166485,"id":"Q6166485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$BC808CDA-70D2-44A9-AF63-EB75379192FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cad7c983eee583ebea2c8cfb538aac233ca78b0","datavalue":{"value":{"entity-type":"item","numeric-id":6166486,"id":"Q6166486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$B6095FE7-B549-4C46-83E5-62D4321F1070","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"404d3d27f6d1b09f1d8f7ef103d4d6604614e1ab","datavalue":{"value":{"entity-type":"item","numeric-id":3006634,"id":"Q3006634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$7A7338AA-6A3B-420C-BDA4-CFA755CD672F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30460481f40870847744a54f753e4c9192f920c1","datavalue":{"value":{"time":"+2026-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6878006$A6636237-0C00-4394-80EF-55667F5F07CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2bfaecbf584554114e0043b0c6c7bffb91e17209","datavalue":{"value":"91-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6878006$643C1A43-9C31-4188-A728-3D02A512FC07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e725ffe65144fe10d7b4c8ec5ed19c6afbeee0b6","datavalue":{"value":"8141957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6878006$F5561B04-145D-491D-8851-7D591F926273","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$10794E97-3144-49EC-8CEB-3CA1159F7C2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6f7b890de0bb5e9d45d15d280bf18eeaefac20c","datavalue":{"value":"probabilistic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6878006$40823266-AEEF-446A-9F47-4459FDE00544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbefc6dc253e6d4e157133650433fb02d588c32b","datavalue":{"value":"ordering tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q6878006$8A412F87-1371-47D6-9192-53E288EB8198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"024a4379c140f76d96323155b280ede0043f4e5d","datavalue":{"value":"evidence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6878006$883198C7-8925-4BDD-8CD0-A2C726E0975F","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":"Q6878006$C418FF84-E85E-4BBA-AA6E-C66AD892D4D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"888cd577cadc8d139d40b8c03273c54c5841d53f","datavalue":{"value":{"entity-type":"item","numeric-id":5386174,"id":"Q5386174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$7AC98177-8782-45DD-AE6D-441E7BDBF034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b168a44f965354718b147d688081eba4867f1b","datavalue":{"value":{"entity-type":"item","numeric-id":2280048,"id":"Q2280048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$C97FFF65-3E5D-471D-AAD8-AFAC9C17ECF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9504964cb4f98def0913fe2f67c85f42e803936d","datavalue":{"value":{"entity-type":"item","numeric-id":4610922,"id":"Q4610922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$6A03EB88-E424-4A3E-B2B8-97A465A3C520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca685105a92c7fa8a4a9c84da44c0643f651019","datavalue":{"value":{"entity-type":"item","numeric-id":5225124,"id":"Q5225124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$349725C4-1955-46BA-9A7B-B5DE3927945D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22d5f60762fa8c7ddc39f1142d7b693de64137f5","datavalue":{"value":{"entity-type":"item","numeric-id":2427204,"id":"Q2427204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$B7C3BCED-5EC8-4666-9177-B73DF4D61A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcca6fd69f2434993d6f3c39e4619accb3e1e0ab","datavalue":{"value":{"entity-type":"item","numeric-id":5818876,"id":"Q5818876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$366E2CAC-2E37-464B-B858-99EAD310C5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adfed1bee27b0897617c265933b2dacc4db8e6b4","datavalue":{"value":{"entity-type":"item","numeric-id":3763855,"id":"Q3763855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$35102C86-3FF6-4680-B080-71A5808199D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"278ab8a4dde51434959f09bb271a55b52356c88b","datavalue":{"value":{"entity-type":"item","numeric-id":705843,"id":"Q705843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$A19713D3-6FB6-4293-8A4A-3B5171C4434E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e5d32cb0dfd5945bbc872825d11d8f2e4d23a43","datavalue":{"value":{"entity-type":"item","numeric-id":864889,"id":"Q864889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$CA14CFFF-214D-49D6-A216-6B4386B06EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8096eecdb33417d5a2fb1c8a44c09a5644329d98","datavalue":{"value":{"entity-type":"item","numeric-id":1943441,"id":"Q1943441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$1218D232-5008-48B7-9D63-2BEBC807FE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db8bebcbbdc29463013de18717e354a18f504ccc","datavalue":{"value":{"entity-type":"item","numeric-id":4586041,"id":"Q4586041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$3CAB9E94-E21F-45AB-A5D5-F0AAD43CF3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5db48c1128598242ff19c67eed4adc98aaf63b6d","datavalue":{"value":{"entity-type":"item","numeric-id":5395648,"id":"Q5395648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$F4C3E338-5220-453F-A857-AAC8C24B3708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56cc3eeaa93ece00510e16142608e854618da6a4","datavalue":{"value":{"entity-type":"item","numeric-id":1753279,"id":"Q1753279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$7990CC70-FA58-4579-ACBF-ADA38B8134A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed15fc500bc362d67797f5227293a13f549d67ad","datavalue":{"value":{"entity-type":"item","numeric-id":4612469,"id":"Q4612469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$43228EDC-EE80-49F7-93A8-924E0C1B5F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"415befd1410bf2545ed92174fe414c4bc89849ab","datavalue":{"value":{"entity-type":"item","numeric-id":2519482,"id":"Q2519482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$598F79A1-CE2A-471D-8754-9B78A155ABA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b6a62916c533e524bf178966f36433495e7830","datavalue":{"value":{"entity-type":"item","numeric-id":4991712,"id":"Q4991712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$96C190B0-378C-40D2-A16D-AFB9B4A0B62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446769eb4a0fd758e53832b031c85a159fd56dd4","datavalue":{"value":{"entity-type":"item","numeric-id":3743039,"id":"Q3743039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$F48F56D6-F827-4B7E-9192-C56715E63AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d464c30098db2be9fb5b58e4e048ab42a3ea56","datavalue":{"value":{"entity-type":"item","numeric-id":2963528,"id":"Q2963528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$09014684-4DDF-4830-A11F-2E6FB40970CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2a32a5c679cd254de63ce71d3957076e1b76ed5","datavalue":{"value":{"entity-type":"item","numeric-id":1243503,"id":"Q1243503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$23C0C750-12CF-401D-BEA9-2A4B961EA899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70298994537b080f608811d90d6c10b19e03c193","datavalue":{"value":{"entity-type":"item","numeric-id":3655345,"id":"Q3655345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$1F9BF95C-078C-4CCF-A568-7A7FFE7946AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46307d8f8611dfa9d1515d54f92d3b168852c3cd","datavalue":{"value":{"entity-type":"item","numeric-id":2373768,"id":"Q2373768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$79CB3426-5742-4EA8-BB65-8037E7C34E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"512bcf22e0f3421d1ee37791917cb6da3c8c5636","datavalue":{"value":{"entity-type":"item","numeric-id":4683689,"id":"Q4683689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$667B7141-414F-4EAE-A20E-D0D372299752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7fe9bb9ce11bcd5de1f44d1fa7b94f38cf085f1","datavalue":{"value":{"entity-type":"item","numeric-id":2325665,"id":"Q2325665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$FB24E8FD-D979-4144-8558-06F5186F1D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b0046b5fb32e5e1558dbc09902797e92baba402","datavalue":{"value":{"entity-type":"item","numeric-id":2295836,"id":"Q2295836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$689EC3E2-4E17-4CA2-91D2-0A6EAC392BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1f0379ef63e230cc857e2b3dd6574867e66903b","datavalue":{"value":{"entity-type":"item","numeric-id":1906449,"id":"Q1906449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$9620E41B-F917-4B72-BEF8-9B2F572F555F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7913f72cd3715e525b841ffa58a879d9d8302c5","datavalue":{"value":{"entity-type":"item","numeric-id":5474973,"id":"Q5474973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$717ED897-C6EB-44E0-9BA7-6AA1CAE71F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f75381d42d8c5ce3103a16da5eba7ecb489d4fc","datavalue":{"value":{"entity-type":"item","numeric-id":1256386,"id":"Q1256386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$2A63D35A-2236-42AC-B6B0-939BCB5848A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a157df0c037c05a3ad31d788b5861e53b330e6dd","datavalue":{"value":{"entity-type":"item","numeric-id":3960505,"id":"Q3960505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$798B543F-7837-49EE-9ED4-E158A6F7B2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abb7aa306690b2cc89067dd520351b8554fc5e38","datavalue":{"value":{"entity-type":"item","numeric-id":1162423,"id":"Q1162423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$F07727E4-CD55-4066-84FF-01825FB62ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"883bea43a6cf7883e4becc7de832021b256e9201","datavalue":{"value":{"entity-type":"item","numeric-id":792890,"id":"Q792890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$443D43A9-518D-47BA-9D9E-CE5F738B3A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a8b7ed4f697e439d21ab45a402c87c7f1a31b51","datavalue":{"value":{"entity-type":"item","numeric-id":4197579,"id":"Q4197579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$8CCB2E07-72ED-4282-8AF5-6ACE53A5AC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69dc0fa01ba590353573accbef9afb67e95e2a51","datavalue":{"value":{"entity-type":"item","numeric-id":4586014,"id":"Q4586014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$52D5EE27-B528-4A0A-BC31-A8D22C9481E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef71d182a9ea54b16aa7b14d378db50510873472","datavalue":{"value":{"entity-type":"item","numeric-id":1146099,"id":"Q1146099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878006$389A42D6-EEA2-4FC2-968F-3D6ADCEB83FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic verification in mechanism design","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Probabilistic_verification_in_mechanism_design"}}}}}