{"entities":{"Q6623305":{"pageid":14234457,"ns":120,"title":"Item:Q6623305","lastrevid":55775080,"modified":"2026-02-17T22:33:38Z","type":"item","id":"Q6623305","labels":{"en":{"language":"en","value":"A CP-based automatic tool for instantiating truncated differential characteristics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7930920"}},"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":"Q6623305$163122CD-6A3C-457A-8145-7B5D3B287B9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d58b876fef1962325b02263638cc9dd70e7fef40","datavalue":{"value":{"text":"A CP-based automatic tool for instantiating truncated differential characteristics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6623305$A0D6BB08-F1AF-4454-B8E4-CA872A6A93D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44d4a2346dbaf713ccb8d4011a86d1fbe5b08b94","datavalue":{"value":"10.1007/978-3-031-56232-7_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623305$9A5A695F-2780-478F-9F4C-4FC8EF1A5237","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02559282012d6c00836f925f650fc6139e8b45c1","datavalue":{"value":{"entity-type":"item","numeric-id":1971074,"id":"Q1971074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623305$43673A94-4E91-44D7-BE6F-467AE010673D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bc7d57dded07e3bf2e551fc6b3176384143db6a","datavalue":{"value":{"entity-type":"item","numeric-id":778908,"id":"Q778908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623305$01E0F669-C1D8-475B-99FA-05A2FE3234EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2294d26b3cb6fdf6bc314bde66209952a8cea7eb","datavalue":{"value":{"entity-type":"item","numeric-id":6169459,"id":"Q6169459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623305$646C5AB6-0E57-4E95-9D38-F301A1056CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc240494a89811e0771fa6763f3a6d4a5b92dd0d","datavalue":{"value":{"entity-type":"item","numeric-id":6160823,"id":"Q6160823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623305$EF5FFC25-43E5-4CA7-BEA5-D8EDC6F307B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07b7ae20454b861dd154a2da25efb04d4ae6f762","datavalue":{"value":{"entity-type":"item","numeric-id":391206,"id":"Q391206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623305$86D61709-480A-4F04-8159-70E43B9AA128","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f8156c881a59c08519b94b052c3c5df776b8285","datavalue":{"value":{"time":"+2024-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6623305$6226067D-80D5-4137-8EF0-4A225A796CD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623305$81640F0F-E408-4321-9CAD-8D126A31D745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623305$B0BE6C06-5ADB-457D-922C-3A72DD3FC132","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e48867b36af49189fd403c29399f1fc9ee9a1a4","datavalue":{"value":"7930920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623305$CC59D681-1BDF-43D9-9A05-9DD24B4EB1CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"408a6554e3e74524bca3562397a68fdf5580ebe5","datavalue":{"value":"differential cryptanalysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623305$11A64679-ECCF-4791-83EA-484E5FA31964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86d4fb8ba2dc31bd4fef7b1a4f177458544ccfaf","datavalue":{"value":"constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623305$98A83B00-1BCB-4F47-BBAB-D2910E89EA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6315aae5f3efd591befba0ccaa5620f1a3054ecd","datavalue":{"value":"automatic tool","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623305$F31ED767-F449-4069-BB1B-23640515DF97","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":"Q6623305$C9A3B047-5B63-47A8-A215-0486B75CA0B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb2736bf8a52a3f8ac043057d4265a8f6301c36a","datavalue":{"value":{"entity-type":"item","numeric-id":4279560,"id":"Q4279560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623305$4FC21387-5007-47D0-8D8A-22D8EC2F7F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"585aadafa582d5ba6ff0526e7b65ea65c0d9f511","datavalue":{"value":{"entity-type":"item","numeric-id":3563843,"id":"Q3563843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623305$DFF78D54-78EF-4391-A4E2-58899D5B45F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f861a24df47f3b553d111bb36bee7942b656cc0","datavalue":{"value":{"entity-type":"item","numeric-id":2845672,"id":"Q2845672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623305$113A5893-77AA-4B04-A603-E1E186850561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"023cca03e98d299364f0518e23a48fd01ea270e1","datavalue":{"value":{"entity-type":"item","numeric-id":3179490,"id":"Q3179490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623305$33DF561D-ED79-4CD4-BCA8-265A7237505E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcdd89ee4306491a5366a364635a950d2480b2bc","datavalue":{"value":{"entity-type":"item","numeric-id":2289026,"id":"Q2289026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623305$6EDB8F3D-60D6-4A49-9B44-7C3A97D464BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba47750fe011bef4f02b600f294990e0213e289","datavalue":{"value":{"entity-type":"item","numeric-id":3452619,"id":"Q3452619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623305$4E1AA5BC-10A5-4CD9-94A0-5B38941152C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bf66e307cb4ea10cc6f7b22fe97c28b5ef10a7b","datavalue":{"value":{"entity-type":"item","numeric-id":4484885,"id":"Q4484885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623305$9769026F-C6B1-4F50-B379-EA65F536EC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a717ec55b52f2d0875debe86042d0e598c4a19d3","datavalue":{"value":{"entity-type":"item","numeric-id":4037447,"id":"Q4037447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623305$CA607C96-16CE-403C-B60B-8DEFA8E1179D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ff8523ade1b37a872de34c9082cad6cff694949","datavalue":{"value":{"entity-type":"item","numeric-id":429802,"id":"Q429802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623305$AB407FFD-69EB-48B4-B8B9-20F560BD9DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f1a0235619d67e09ba0ac91391dba8edb60eb5e","datavalue":{"value":{"entity-type":"item","numeric-id":3455570,"id":"Q3455570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623305$8F534F65-BAE0-48AF-A7D5-93DCA82C9CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a45182f291ed147235b4829e652a090e88e6a259","datavalue":{"value":{"entity-type":"item","numeric-id":3524245,"id":"Q3524245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623305$5C1AEA55-FF33-42B9-A8FB-5258D267D100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1baa05ed540dab41647c7856b6a336bdc7accb","datavalue":{"value":{"entity-type":"item","numeric-id":4911588,"id":"Q4911588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623305$BF570515-EF05-47DD-82C2-D854BE94D393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df383e2ba4a092fd356cf555433ed3fb960c7232","datavalue":{"value":{"entity-type":"item","numeric-id":2342592,"id":"Q2342592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623305$EDD534EE-F60D-44AD-A4CA-264AD91D9546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d037a1e2135dec940beeb791720fa68afc069b2","datavalue":{"value":{"entity-type":"item","numeric-id":4934705,"id":"Q4934705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623305$DA378522-2FC0-434D-9869-805A60ECBA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4561424266764222606db3a5939107fa7e7a798","datavalue":{"value":{"entity-type":"item","numeric-id":932897,"id":"Q932897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623305$6383965A-F721-4371-83A5-CB15960D0B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a3119cc89f7e795259e9c2e4adc5a9104bc7f4f","datavalue":{"value":{"entity-type":"item","numeric-id":6160824,"id":"Q6160824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623305$AD640240-E3B1-4385-A18B-692041694252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8278a7470aa0707452558002ac6cdb7cfbbbb8a9","datavalue":{"value":{"entity-type":"item","numeric-id":2372239,"id":"Q2372239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623305$E3610424-7555-4508-BCC6-1284C424E2A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c1c1a272021dc29fb4ac62bfa29e129465c5d5f","datavalue":{"value":{"entity-type":"item","numeric-id":2938843,"id":"Q2938843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ff6bdb085669a469e8dd12f4b58eafcf8a033fd","datavalue":{"value":{"amount":"+0.7786637544631958","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":"Q6623305$B43692AA-45A1-46D1-957F-619ABCCB3140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b4ee007b8c19381142472efd88fe9ae12294cd6","datavalue":{"value":{"entity-type":"item","numeric-id":2876938,"id":"Q2876938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bd8cc8d26b919cc0928c4d16149d25aba7eb1fc","datavalue":{"value":{"amount":"+0.7610283493995667","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":"Q6623305$9A540AD9-A97E-4955-A240-DD625A257347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f5e6ffad247b893c3aaab80c6fb09ded0be1d0","datavalue":{"value":{"entity-type":"item","numeric-id":6550653,"id":"Q6550653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4be5f33c7e866617269472ef6253ede93fc60e2","datavalue":{"value":{"amount":"+0.7572418451309204","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":"Q6623305$52F9E255-217C-47F5-A272-03F2375C9D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91b92ab0eff287db6c8d1669e903aeeb7db152cd","datavalue":{"value":{"entity-type":"item","numeric-id":2179383,"id":"Q2179383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5221c07f45e349296e4f7737a40fd1927f8e1d3","datavalue":{"value":{"amount":"+0.7479931712150574","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":"Q6623305$E9FE677B-B3F4-422F-A6F6-56D6CDF3E0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55b474bebf00438d2d0f562ed081b27c923be350","datavalue":{"value":{"entity-type":"item","numeric-id":2973170,"id":"Q2973170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"757f8fb41a00697c09b7b23fdc111a99e0d96d41","datavalue":{"value":{"amount":"+0.7434802651405334","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":"Q6623305$63702C75-D288-4E85-8A7D-F90B54EF1B97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6623305","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6623305"}}}}}