{"entities":{"Q5351957":{"pageid":7381531,"ns":120,"title":"Item:Q5351957","lastrevid":100961345,"modified":"2026-06-05T23:33:19Z","type":"item","id":"Q5351957","labels":{"en":{"language":"en","value":"On relative and probabilistic finite counterability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6767595"}},"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":"Q5351957$3B83CFB1-8B2A-4084-BC28-ABCB8A9C0D5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ce3339b8f7e865b98fa683fd164e7e5b101cb36","datavalue":{"value":"1373.68288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351957$84C5CFB9-C523-41F4-AF40-E10D76273416","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351957$F2FD6941-959B-458D-AAA8-6EA8614D6074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da764069e0296b9a5922b8a310922daad7343838","datavalue":{"value":{"entity-type":"item","numeric-id":1742986,"id":"Q1742986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351957$69328E29-E936-478F-97EB-020FCD89352C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98ec418c891dba68be18e8fdbc46de88ff46e2e4","datavalue":{"value":{"time":"+2017-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5351957$19F6A31D-7D57-42A5-9B15-CA5B1BB0DD00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351957$8AA390D0-D5BE-4DE0-BC63-98D6EB5B95CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351957$1D69B7D8-F24F-41E3-9F2B-9BF2B1E6BCAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5e6084950c87aa97df2ab65bd78c49737c5dac7","datavalue":{"value":"6767595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351957$4AD023BE-1D14-446B-9A01-EA6CE77257F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351957$E9D8203F-54DB-4B9F-AAA3-43D68D9D1DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43e72f18a6d6d4af9d0b64b4577421c0d9b7a93b","datavalue":{"value":"counterexamples","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351957$26F9BA8E-2606-4779-9AC3-3E351B43F2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351957$D22CC00A-8D4E-4A88-8870-1812E4D8D70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351957$87B278B3-021E-482C-B6FC-83833C386B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73b4c65f1932723e758d611f0e45f29f11ae5669","datavalue":{"value":"probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351957$E33E7F99-892E-4A3F-A127-F0E9C9262C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bbfcfc14216ce1d5a81d470a946e7dce343b4f4","datavalue":{"value":"omega-regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351957$998629C3-47E2-4FE5-B38C-2DDFAA9F83A2","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":"Q5351957$07405208-408A-4B6E-8F86-197E4BBCC4CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c281921c11462620783705e32b5c135af31d029f","datavalue":{"value":"10.4230/LIPICS.CSL.2015.175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351957$154E9F35-A2FE-4EF6-94F0-5E9F8B7610C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1321f8f9fb757d3037fe45f89c3bf6cd081f82d","datavalue":{"value":{"entity-type":"item","numeric-id":1742987,"id":"Q1742987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fee9f920875056e3066bd869c677397b3dab625","datavalue":{"value":{"amount":"+0.9991115927696228","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":"Q5351957$4C606739-C442-4502-B034-3BF91F0166D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39e0a78e6a715469b7959c88759560dfb1ab2fec","datavalue":{"value":{"entity-type":"item","numeric-id":4635640,"id":"Q4635640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7137f66ec41a901962b660751797579a19f9044b","datavalue":{"value":{"amount":"+0.7676801681518555","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":"Q5351957$0B997482-AF07-43EC-A08F-CC2DB4504451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"431f1995c472b3e95bbb2549b09566dfd75890b1","datavalue":{"value":{"entity-type":"item","numeric-id":1629750,"id":"Q1629750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eabb84ac99621f965f61e59345c92fa429fc344","datavalue":{"value":{"amount":"+0.7654072642326355","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":"Q5351957$5740C061-986A-4CBF-8220-DBB197C5046D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba6c27cbccdec975112b570eb0ab2980856b6036","datavalue":{"value":{"entity-type":"item","numeric-id":3460555,"id":"Q3460555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7a67c3e22202e93c15ab19cf88e9e74deec7df5","datavalue":{"value":{"amount":"+0.7624865174293518","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":"Q5351957$02024155-DB58-4103-80E1-42FA44D2FD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6991648116bdab624cd6c1ff28ba26622807dd79","datavalue":{"value":{"entity-type":"item","numeric-id":402125,"id":"Q402125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"130933ccc21953a61cb605c9bbeb3a14405df802","datavalue":{"value":{"amount":"+0.7461614012718201","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":"Q5351957$15A70AF1-5BDC-4D2D-B97D-A049862D7C4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On relative and probabilistic finite counterability (scientific article; zbMATH DE number 6767595)","badges":[]}}}}}