{"entities":{"Q3192195":{"pageid":3202903,"ns":120,"title":"Item:Q3192195","lastrevid":52096631,"modified":"2026-01-20T22:35:06Z","type":"item","id":"Q3192195","labels":{"en":{"language":"en","value":"Quati: an automated tool for proving permutation lemmas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348240"}},"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":"Q3192195$E5202B3F-1262-4D5D-A727-02ABC22EDA93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35b7d2b212b0d0840a091223496ef5003e194039","datavalue":{"value":{"text":"Quati: An Automated Tool for Proving Permutation Lemmas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192195$2CEFEAC6-D362-4674-BDC2-A151D0836C14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af51ace937be90dc1a4b1c751b127e3ebb952a25","datavalue":{"value":"1423.68422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192195$9D6BBFCF-6A21-4E5A-9317-D7B7C216DC7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f5655dff75a9c3f5303b4ff0a7c780e11d5e517","datavalue":{"value":"10.1007/978-3-319-08587-6_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192195$5CF5A587-5A39-4BBB-8783-E0A7AAD8B241","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192195$33F67ADE-11EC-49AD-B50D-188C63B0FA98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3192195$B5BF1983-F6A6-4FE4-87E1-FF787FBBF9F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192195$81ADDD30-C9F2-4B63-A66C-82EED5B40126","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b94d0f79656c7435eb4f792e6d5d0ee8f09a1d31","datavalue":{"value":"6348240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192195$F288F089-4336-45C6-8C2F-1E45DDF243AA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a19b37c9961602b597fd4be2ef6dfa67600843fb","datavalue":{"value":{"entity-type":"item","numeric-id":22013,"id":"Q22013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192195$6C8FBE20-BEDC-442D-97A9-82715C17343F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"211c43a5b835fe620b561d29820fa20ae55def41","datavalue":{"value":{"entity-type":"item","numeric-id":45361,"id":"Q45361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192195$1BD8A46A-6789-458E-8B69-A4790493CAFA","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":"Q3192195$0CC6DD69-2AC8-4AEE-B8D5-6F8751500EC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ff59ee3568de148f79091dae40533a7750235aa","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08587-6_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192195$9C92FD49-0DD6-4BF3-B2C9-3A6F447D50D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c2e72b088784fccf1a0dc382d6593d50b526ab3","datavalue":{"value":"W77879984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192195$094A7564-6659-40C5-A277-81B7F89C1F0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e7b855e3255ed7374e30f72b41f621223fc94e","datavalue":{"value":{"entity-type":"item","numeric-id":2417949,"id":"Q2417949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69dad1719c2f91af6e6f8836d0c53c6e9c3fadbc","datavalue":{"value":{"amount":"+0.7052249312400818","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":"Q3192195$5FD43658-7C3E-4C44-B9D1-05D9DE3F19B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14834824771135e9cf6a75527d080c77f143aad3","datavalue":{"value":{"entity-type":"item","numeric-id":1275625,"id":"Q1275625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e07ce80bdc3da753c763a996c5cb8b4eb1f2300","datavalue":{"value":{"amount":"+0.7027972936630249","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":"Q3192195$BD8DA239-F604-4860-91E9-EB22529F4776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"592b9dae8d65fc347d026f80545d234c45f20b96","datavalue":{"value":{"entity-type":"item","numeric-id":1575637,"id":"Q1575637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1312bf77dc969379fac4dd2f8c2a17037711be99","datavalue":{"value":{"amount":"+0.6922460794448853","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":"Q3192195$B616FC6A-790F-42A7-A542-8BB54CD7B587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66e219b98f078c7b1c784369ec991d66227b6d06","datavalue":{"value":{"entity-type":"item","numeric-id":4993363,"id":"Q4993363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f64de3ca96b09a3b887a1eb9f4da424d80888bcf","datavalue":{"value":{"amount":"+0.6913421750068665","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":"Q3192195$E53FB8C8-2A20-4E07-A1CB-5319E6101C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfa17fc9dbf9bd8d8d5199d070859c8b4c5607c2","datavalue":{"value":{"entity-type":"item","numeric-id":672046,"id":"Q672046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d000d05c82d02708610f42f3e19b0f1240d67289","datavalue":{"value":{"amount":"+0.6668626070022583","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":"Q3192195$62F95A63-8A57-4FD0-9531-2133C4C69CBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3192195","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3192195"}}}}}