{"entities":{"Q5883575":{"pageid":7913126,"ns":120,"title":"Item:Q5883575","lastrevid":97510655,"modified":"2026-06-05T14:55:34Z","type":"item","id":"Q5883575","labels":{"en":{"language":"en","value":"Improving Generalization in Software IC3"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7666544"}},"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":"Q5883575$786E08F1-C0B7-43D4-9DB1-598F9C43E553","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2560e84d61b0f7cdb61880dfd57b9672225fc0a","datavalue":{"value":{"text":"Improving Generalization in Software IC3","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5883575$3CE0EE28-DDDF-4925-98D2-577DB674CD62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dacafa5ac239e22a3c0cbf23d7d5883959b4d227","datavalue":{"value":"10.1007/978-3-319-94111-0_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883575$BBDF92E9-50A0-4B44-B853-5A24FADB6F74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b978df4258c93b1a46ea0cef27fc04037ed3e4c5","datavalue":{"value":{"entity-type":"item","numeric-id":5883573,"id":"Q5883573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883575$0C3E5C77-9531-45CC-9AC2-8BE1EA39E325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86efb2bd37d6faeef0af0ff6fec1f7518a41e7bb","datavalue":{"value":{"entity-type":"item","numeric-id":5883574,"id":"Q5883574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883575$3B3DBFA5-0299-45BA-98B1-2CA1B9B279A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd181907c86c690db630ee2fee65d2bd2ee8afa","datavalue":{"value":{"entity-type":"item","numeric-id":2248078,"id":"Q2248078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883575$92384D71-627E-43FE-ADC9-92C7F4114D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfefc6645ccc3c48ab5b5b8291d687a047c3f014","datavalue":{"value":{"entity-type":"item","numeric-id":544877,"id":"Q544877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883575$4115A6D1-9EE5-4BE8-9016-240871B901E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883575$C4F97647-5099-4C34-99E1-42AAEBE6C943","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"522e9e5b50831c9c990a6ebdcfb4c44f217acf10","datavalue":{"value":{"entity-type":"item","numeric-id":2814620,"id":"Q2814620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883575$164454B1-1B0C-4504-9C28-5675CF2CCF08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9db9aab8c47e8de7d6375c30693ffa43d749cd68","datavalue":{"value":{"time":"+2023-03-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":"Q5883575$20AFFAAA-44B8-4E35-AC9F-34A985D455F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883575$2B36F706-87BB-4C2C-8822-5F6A63AD9013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883575$75409622-7E56-43C2-AC73-756878218EF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3eaef85bb02858cfb434d428fbab33340a2d7e16","datavalue":{"value":"7666544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883575$53763CB4-6068-417B-A234-EB2CD561F113","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ad03d9c4dbcdaaddb400f75c486b1d8804afb4e0","datavalue":{"value":{"entity-type":"item","numeric-id":38420,"id":"Q38420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883575$2EC90694-F5A4-47E7-AC45-BCFBA6E89B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"18407fbdc0151f0b5ba9a01c199138cbfc2a4f45","datavalue":{"value":{"entity-type":"item","numeric-id":35083,"id":"Q35083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883575$51135FBA-71BB-41E3-83C2-92CA5E684AE9","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":"Q5883575$62DAACE5-0010-4483-A0BF-65BAA751F707","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35275ccfacdf46ff63fd0ca12d3e0b290a2407f6","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94111-0_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5883575$165356D9-AA61-44C8-9242-F05C17DE7047","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32c7935a21e4990b3151b9af551b889a07d00367","datavalue":{"value":"W2808324811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883575$13537B42-58CE-4555-833E-9AD1D2705C53","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883575$934AFD9E-4C79-4AF3-BE66-23D6F2E05CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a721eea058e807770cf825065bd252a7ab7056d","datavalue":{"value":{"entity-type":"item","numeric-id":2363814,"id":"Q2363814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883575$511AE3ED-86A7-40FD-AC77-3CA7D85836A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883575$C624F2C0-6713-489B-91EA-8B1779779198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd21cfa4660583e538baf1b412d409c55765821","datavalue":{"value":{"entity-type":"item","numeric-id":5178883,"id":"Q5178883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883575$6F16C62E-FC26-4128-867B-CF968AD3EDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29a9e63db651327a88d88e2cdc75e51e9cd4afb","datavalue":{"value":{"entity-type":"item","numeric-id":2843329,"id":"Q2843329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883575$115CFDBF-C551-4E5F-8CB7-4CE0E26C3C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff75baea05c748f9ad363c0a0f9a8b26cebdcc9","datavalue":{"value":{"entity-type":"item","numeric-id":835051,"id":"Q835051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883575$0307B58B-BCE3-4712-B3CD-DCCFCC31CE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e1d7ac7f349d5b86be2d03d5e871137657e28d","datavalue":{"value":{"entity-type":"item","numeric-id":4738390,"id":"Q4738390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883575$3C5AD017-EAC2-4FB1-AF63-9D94D534C335","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6c874df735c0407b89d6d82e600e9703fb091f9","datavalue":{"value":{"entity-type":"item","numeric-id":5313127,"id":"Q5313127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48a7a78c26b053986842c6c489c1da52575b2258","datavalue":{"value":{"amount":"+0.7981645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5883575$90D7AA84-2F79-4345-BCFC-35CAB4681D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68a24cce94776a3b8500a5d24d5ffd19bc57d784","datavalue":{"value":{"entity-type":"item","numeric-id":2643940,"id":"Q2643940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c7d7961f8b3ce8ee7e09b7fef3f4c95130a04be","datavalue":{"value":{"amount":"+0.7953816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5883575$F1B670DD-D47A-4462-A02D-559A50C60259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48ddfc8cbdd80e497676563fe745575650665972","datavalue":{"value":{"entity-type":"item","numeric-id":1389076,"id":"Q1389076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c73ecdc6ac8a4b829869a01ccf53a87b2229043","datavalue":{"value":{"amount":"+0.7877428","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5883575$A0A6D370-4D5B-4DB2-B054-D206DCDB682D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d908e08ad0c92e66a3fe593f78c2ee7606034207","datavalue":{"value":{"entity-type":"item","numeric-id":4647499,"id":"Q4647499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18acc9b648caa399af7abfcefad43756520e5b9b","datavalue":{"value":{"amount":"+0.7795975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5883575$DDE67ECC-05A0-4456-B901-92F70389F22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef5c67d0fe1b30223f9aabc36836deba77a3986c","datavalue":{"value":{"entity-type":"item","numeric-id":4451883,"id":"Q4451883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d042f3edbc186b034d34e6a47b2a5937a9010431","datavalue":{"value":{"amount":"+0.7773051","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5883575$A1BE4952-4A7B-46EA-A479-41CB85B08E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b26fdd2cec7f2b77ce944fa50b68e3f8fc616fcb","datavalue":{"value":{"entity-type":"item","numeric-id":1568529,"id":"Q1568529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d520d797de4570eea3795dce8d2dbfd120fcefc","datavalue":{"value":{"amount":"+0.77345204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5883575$25299726-E487-470C-9F00-93DF5B06EE5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Improving Generalization in Software IC3","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Improving_Generalization_in_Software_IC3"}}}}}