{"entities":{"Q2495399":{"pageid":2506142,"ns":120,"title":"Item:Q2495399","lastrevid":49867720,"modified":"2026-01-11T10:57:15Z","type":"item","id":"Q2495399","labels":{"en":{"language":"en","value":"A parametric analysis of the state-explosion problem in model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5037293"}},"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":"Q2495399$F80A2C29-F514-4A6B-9103-117D50569E93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85358a4ff860d713e263c13e6ac55df1ba429ef0","datavalue":{"value":{"text":"A parametric analysis of the state-explosion problem in model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2495399$1C7A0DFA-E1C3-4EFE-A0FA-E9399490E448","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1d6e9c00ad600348c467a9a6cf09ccf1cf85716","datavalue":{"value":"1094.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495399$C1A37D7F-3DF8-44FE-8992-0D9CBECCF920","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$AF0CCFE0-A7D1-41D4-907F-FD234354CB16","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$7F6CB060-9418-4EFC-8506-FEB8A35EA5E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e66041b42d053f5f2145cbbf08b1b29afba170b","datavalue":{"value":{"time":"+2006-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2495399$7F9506BA-60C9-45D5-8528-66E79045E8D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495399$75CD42A6-01B1-435E-B2D6-6DC76955887E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b035d1e404a32b2681166e82c0c50ff98dc2d98d","datavalue":{"value":"5037293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495399$5024D466-7592-40AE-9210-07FF0B69C45F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495399$663B810D-5139-484D-9030-F7085BD49718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fb4c01f11fd8eeaa34ece5a42509e816aadc34","datavalue":{"value":"state-explosion problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495399$C6653AD2-786E-4ED4-9CD5-A6A7AEC16C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495399$1D9B0EC2-CA3F-45AF-BF0A-7B27406E7CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495399$DE2A613E-ECD4-4F7E-A947-438E0F6FEC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495399$C0C0655F-1093-4929-A443-842309967C67","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":"Q2495399$DA6B0781-10C8-43AC-9C5F-E88257BCFA52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d2e458aff416e5fd2e7332545e8116acaecf1db","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2005.11.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2495399$72DF1F88-E7E4-4FA4-85DF-13850BC599FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"091ec4909f3cd29042903f4aacd431ec7f3063da","datavalue":{"value":"W2024402979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495399$C282D4B9-F003-4B5A-9F94-872C0A965CD0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64094cc4201a6201db371ef94b6e6db97b1ecea8","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$52F5EB7B-4194-487D-B610-36E8F007EDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6c65b0378ba4e575d0f710131146d59e647cc4","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$30985C52-2D28-46A7-B212-3FFDFCC16020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f12ae6ff9b9e43a2a83d3f1bb3a65f5cb60d56ad","datavalue":{"value":{"entity-type":"item","numeric-id":1367540,"id":"Q1367540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$B292EBD7-6423-460F-A000-264FB6FED025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b89896d12727ad637f84067fae27b2c42f93ee","datavalue":{"value":{"entity-type":"item","numeric-id":2760241,"id":"Q2760241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$D74E6D8A-F322-4537-8B6E-C3C2003E79B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"082647e0db604654727e2f648d1a458e42e99236","datavalue":{"value":{"entity-type":"item","numeric-id":1854544,"id":"Q1854544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$E3C88E51-5C1F-4E28-96B4-10680F128E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b261c10e21468e427874b1e0e6a2c99a79585d4a","datavalue":{"value":{"entity-type":"item","numeric-id":676315,"id":"Q676315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$E3DB9490-83BB-4074-BD2E-F25D9B123DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f10978420672c3a029798ff5b0ca0d7e0bd86f73","datavalue":{"value":{"entity-type":"item","numeric-id":1387097,"id":"Q1387097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$F619B5FB-0259-49AB-A9BD-2565A2772B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee438a6db16bafb866169add129c7ea936f09b2","datavalue":{"value":{"entity-type":"item","numeric-id":1877697,"id":"Q1877697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$D8CE9C61-1F43-410D-A71A-FFEB35391838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1b3965840a1a2b72b1788308f8cbde37cfc22a","datavalue":{"value":{"entity-type":"item","numeric-id":4336699,"id":"Q4336699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$2E52175D-2539-4B7C-A515-461A48D097EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58d9f70f9e0d732d29c5e335d7a409b9bbb6fdfc","datavalue":{"value":{"entity-type":"item","numeric-id":5292631,"id":"Q5292631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$C1F1C090-5FBC-488E-BB1E-BF8A192BADF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$C3B27462-BEC5-4D5C-A204-5B345667DC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4037481ec702b575d8ae4bfa2a63a94dcf0baea5","datavalue":{"value":{"entity-type":"item","numeric-id":4736876,"id":"Q4736876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$C16E2FFF-3DDA-4D8B-A6DD-244512F10900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32dcb19e5ef5b6a802e39b06593342561643f7c9","datavalue":{"value":{"entity-type":"item","numeric-id":1854521,"id":"Q1854521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$35091E27-9913-4D1C-9925-63F8A55FDD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7740263e184ae4ff43ef288a7a815323d23c098b","datavalue":{"value":{"entity-type":"item","numeric-id":2843923,"id":"Q2843923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$A9E4690A-1A06-4580-9BCD-BA25165F9E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f66b4844bcb79a520b665f58fdec673994d537","datavalue":{"value":{"entity-type":"item","numeric-id":4393480,"id":"Q4393480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$27245CC2-034C-43B1-8B5D-B3F5F5DA8659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fda10f3b4ef46bb9c2d9afae1aeeb322653bb7d3","datavalue":{"value":{"entity-type":"item","numeric-id":4940885,"id":"Q4940885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$7CC42C06-EB62-4B88-8A63-F12868163991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2634dc20b21fc7c825f074032efbf4e461031c93","datavalue":{"value":{"entity-type":"item","numeric-id":4263467,"id":"Q4263467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$B68AF587-C721-4456-863B-AE24B8BB8736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$EE8412A4-7982-4BFE-AB62-BB6AE64D262F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfd2e4db8ae14bb54e69255b03ddfbd8c1e28a91","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$12ED946C-9EE2-454E-86F2-15F3E45CCDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0916abf86beb0d039a2fec6e690f65697f6b18","datavalue":{"value":{"entity-type":"item","numeric-id":4247290,"id":"Q4247290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$DE789C97-9512-4544-A2C6-867357F11122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb52c3e31220c64c6dcc9fcf2736dbb2690c6f99","datavalue":{"value":{"entity-type":"item","numeric-id":4267798,"id":"Q4267798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$F3769B28-12F0-46B2-8D8C-6F7A0CE4F60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc580406003f6782098c13814ea47c2513e69187","datavalue":{"value":{"entity-type":"item","numeric-id":2719133,"id":"Q2719133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$B27CA1BF-8D78-43C0-BB6F-FF9EAF904A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8960ea6dbe5647868ab1ece6d6e3b38a58158ef","datavalue":{"value":{"entity-type":"item","numeric-id":4736854,"id":"Q4736854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$3992574B-7A62-4F42-955D-AB022DD3822B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa105eef7b4ccf6d7c383778c2c96dca1400d7e1","datavalue":{"value":{"entity-type":"item","numeric-id":1216952,"id":"Q1216952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$6ACE9F22-040E-4C97-8A32-B1E6F22833BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$303B4510-6DF6-4893-80A0-F937BD9D4558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902738aae5d5c0a4e67cfee73c9d74c75da7c22b","datavalue":{"value":{"entity-type":"item","numeric-id":5176024,"id":"Q5176024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$2A2807B2-17A4-4D21-B32C-EAFCA94C92A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bee29b1bc340eeef425ddbacbb3d5362eb0e1c0","datavalue":{"value":{"entity-type":"item","numeric-id":1854510,"id":"Q1854510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$618F6617-D6D6-4708-A191-8CC3A4AC3A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$DBCD06B2-9D9A-46CC-B391-C016D84613FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c767919e94a3332b8d198174b1921d5e4026fe","datavalue":{"value":{"entity-type":"item","numeric-id":3821586,"id":"Q3821586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$A92C7A4D-FDBF-43F3-ABDC-04AEE9DC0637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb1cbb7867a200f2abd5447ecaa47e9811d7878","datavalue":{"value":{"entity-type":"item","numeric-id":1365677,"id":"Q1365677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$C5E77E16-A534-413C-ABD7-05C8D83820D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990393bd70b90fd085a53f98d66454d70d95783b","datavalue":{"value":{"entity-type":"item","numeric-id":1238999,"id":"Q1238999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$3E28289B-2B86-44CF-8D82-13900313303C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$B9563D1C-0EA3-4914-84C4-52AB019B41E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c36f5fc0175b05ce89677072f9081151bd22eac","datavalue":{"value":{"entity-type":"item","numeric-id":3862399,"id":"Q3862399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$B4684199-E686-4982-8E23-34A7ABC1A699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$46C073F3-6EA3-41A0-8F1A-4489275FF9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0402c5c9b9a70fb0db065d34178815031abd5478","datavalue":{"value":{"entity-type":"item","numeric-id":5096847,"id":"Q5096847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$F73CAF55-32AB-4362-9B37-3467950574D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63b0c20225553192aafbc4437494eef2dc3c5319","datavalue":{"value":{"entity-type":"item","numeric-id":4508303,"id":"Q4508303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$656E3F08-B40B-4202-8DB9-A65864BB8728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6577112aa1f8dc34a3dcc67b303f72f97a9375ac","datavalue":{"value":{"entity-type":"item","numeric-id":5900570,"id":"Q5900570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$BC3D0E35-FE62-46FA-B14F-EAE740099483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$3CE46BCD-B13D-4412-81BF-DD59906E2BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1d6b5aa38dd1fc479e0f8c62d4e3ebbc8f8fe02","datavalue":{"value":{"entity-type":"item","numeric-id":1307689,"id":"Q1307689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$985B4396-A9A5-4C4A-9509-019F7D3D6B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7357cdfb87c5446d835ccaebc7252250132fd0bd","datavalue":{"value":{"entity-type":"item","numeric-id":1383143,"id":"Q1383143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$8F552EAD-6A40-407E-A9EB-7002811271EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7e10d388cc331199a0c5b27e793084f7ab8b085","datavalue":{"value":{"entity-type":"item","numeric-id":1575656,"id":"Q1575656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$4E6183F1-2227-45BD-B3DC-4D5B3489AEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825262bb0ac491b50a885f623ed99bf510b7b5e1","datavalue":{"value":{"entity-type":"item","numeric-id":5900569,"id":"Q5900569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$6FF2F6A3-99EF-4D33-838D-819D39DE47B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2f06c9b4f503b85bf56091ba53ba463c1b0657","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$2BBFC1DE-009E-47C6-B3C6-BC31C17B57FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$8E5F7119-3FEB-4298-839F-5C21293B4DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"155089c8d2a602deeff9437190d929d84352191e","datavalue":{"value":{"entity-type":"item","numeric-id":4484486,"id":"Q4484486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$50C0A10B-E156-4D9F-B52D-386707868B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$D0CEACEF-B837-4818-97C7-51054EF38B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0e1c59b20b978e8e0de5a32fdeb6c212dbd6e1a","datavalue":{"value":{"entity-type":"item","numeric-id":1090455,"id":"Q1090455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$8C978282-CF97-4411-B0E8-A741EAA1EAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566e9f0277016b4d53ce96f65ba7f452cab0b3ba","datavalue":{"value":{"entity-type":"item","numeric-id":4544433,"id":"Q4544433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495399$FECF9D8E-BC92-4C8C-973E-D6BC6241328E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3daf8f0199da07849bc860aa4b958bdcd993395","datavalue":{"value":"10.1016/J.JCSS.2005.11.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495399$F5695910-03F8-4F12-8C2A-AA3AD7F93D0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dc34c77b9f7052f9e03d0af0c319996210bb489","datavalue":{"value":{"entity-type":"item","numeric-id":4736876,"id":"Q4736876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdf7c7780a43e3729f26ad6e4701dbb8b124374f","datavalue":{"value":{"amount":"+0.9946974515914916","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":"Q2495399$236C5F84-5C48-4F38-93CE-6F824CF06653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"febf2f9dab034db9ff9cd6c19c78c07dde88d191","datavalue":{"value":{"entity-type":"item","numeric-id":4472243,"id":"Q4472243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8958996a107f99883547c021ef77a48352e2d4d","datavalue":{"value":{"amount":"+0.760219156742096","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":"Q2495399$90D26E71-19E8-4A4B-85C4-B71B09128D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"664ee6ce245c2bec86eb5428568691fb1e0409cc","datavalue":{"value":{"entity-type":"item","numeric-id":5505552,"id":"Q5505552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eedf0124aa87432541f53fd4fe2d892afa77741c","datavalue":{"value":{"amount":"+0.7561802268028259","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":"Q2495399$116609E2-182B-488E-A4D9-9B2CA97C83BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f153e61127d60398cff6a9871b011d8640a8d7f","datavalue":{"value":{"entity-type":"item","numeric-id":3603105,"id":"Q3603105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5643e262293a8590907ee2bb44ae51a8ff081891","datavalue":{"value":{"amount":"+0.7410373687744141","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":"Q2495399$B920B9ED-C7C9-48B2-8898-4FDF9C651A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad4d282f08987e00964949a805542fb2114ff338","datavalue":{"value":{"entity-type":"item","numeric-id":3021982,"id":"Q3021982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae75f7ad3f2050936c36a7e7674587e555af764d","datavalue":{"value":{"amount":"+0.739652156829834","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":"Q2495399$36FA5A22-D906-4BDE-983A-9A1C021A63FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2495399","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2495399"}}}}}