{"entities":{"Q2975916":{"pageid":2986641,"ns":120,"title":"Item:Q2975916","lastrevid":52785125,"modified":"2026-01-23T12:17:21Z","type":"item","id":"Q2975916","labels":{"en":{"language":"en","value":"Kernel P systems modelling, testing and verification -- sorting case study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6705375"}},"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":"Q2975916$794FF97F-381A-4243-88EC-24F2B9AEAA66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a54fe3b843351fb9a65bdf4aee6aa426316902e0","datavalue":{"value":{"text":"Kernel P Systems Modelling, Testing and Verification - Sorting Case Study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2975916$EB69B0C4-56C7-4B88-BCE7-32839C74FE08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"356d86c2d8ed08f271d2fff927ba01351fd0529c","datavalue":{"value":"1483.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2975916$029F1ADB-4B89-4244-860F-38FA4DB4A1F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"028ed97b6820f8c2a59416181fb8a65f6de4d697","datavalue":{"value":"10.1007/978-3-319-54072-6_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2975916$189011DF-1BE1-4673-8782-027A8683A234","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"796a4ed2b345ccc4a5578468dd3a43ece3c7f227","datavalue":{"value":{"entity-type":"item","numeric-id":204591,"id":"Q204591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975916$8147595B-ED4D-4CA7-8E08-E8ED28F828FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a780ef79608749556230cbbde02f78eda1ce0cdb","datavalue":{"value":{"entity-type":"item","numeric-id":204589,"id":"Q204589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975916$6E391274-83B3-43F7-AAC3-572FC5DE791F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"feac85871ea116b7f29545dcb6ed5421fbcb3864","datavalue":{"value":{"entity-type":"item","numeric-id":1749167,"id":"Q1749167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975916$7F8525B0-9DB5-4356-9137-F89D8AF6E2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"689ee6c270a5ebe975ac903f464363330b7f9413","datavalue":{"value":{"entity-type":"item","numeric-id":1410759,"id":"Q1410759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975916$422565BE-6A11-48C1-80D3-D41B98156A62","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cdd6a1c153f75713f57bdbbdd1af0bcd8c762242","datavalue":{"value":{"entity-type":"item","numeric-id":2789111,"id":"Q2789111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975916$86ACDFFB-F615-42B4-AF80-EDC7948E563F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38dc8e5b9e70c7942e6735512dc1d3dbaf92011b","datavalue":{"value":{"time":"+2017-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2975916$A7AADFD5-2626-4875-A607-2232F429954E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"08d6627ae2c019bef2c123de72ca8195cdbf2423","datavalue":{"value":"68Q07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2975916$484753F9-42EC-4728-9F38-A01BFCCD8800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2975916$1EF1E6E9-4984-4325-A7B7-91EEAAC23B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2975916$BE8D8A22-03B3-4B28-9CF2-6E3BE6FB856C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2975916$4E82C52C-A906-4E8A-80FA-876AD852B62D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d7438763dcd198c2a21db4de3c9781509ce9aed","datavalue":{"value":"6705375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2975916$87ACF9D3-57D2-49DF-A1AC-C565625FD9C7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975916$5C843EA4-83CD-4F0F-8222-A9A7DA8B1447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975916$66C06055-12CE-4635-B61A-CE24F37D3451","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":"Q2975916$ED2048A6-651A-4528-977F-04F07AF069A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"082cc38f56782a4e3e9f19f49d412ffee29bfd6a","datavalue":{"value":"https://doi.org/10.1007/978-3-319-54072-6_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q2975916$903EF3F0-25AF-4DE9-A700-0DBE3AF1CC1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c16e2f8d9fedfa8e05df232b4a301252d3657fe","datavalue":{"value":"W2588402377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2975916$166F4E17-CD2D-4773-9085-997BEE6C4A91","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ad55d830fe60523687b65308999e0c4d550c8e3","datavalue":{"value":{"entity-type":"item","numeric-id":4437089,"id":"Q4437089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975916$1F66FB26-4908-480C-B7F9-D060A95AFEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c71d8419f131bdc47d3d871e2a2b8f10373a226","datavalue":{"value":{"entity-type":"item","numeric-id":4955252,"id":"Q4955252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975916$155F3C31-79EC-40C0-A2EA-FEA2FCDADB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e99dd4800ce4464f9914fd844e56d480d1541f31","datavalue":{"value":{"entity-type":"item","numeric-id":5958721,"id":"Q5958721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975916$A6270D45-24F9-4ACD-A298-A71843EC084E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e97e8a997336ad98d38cc440b2c60e08d0fa8eb","datavalue":{"value":{"entity-type":"item","numeric-id":4413824,"id":"Q4413824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975916$52B02B1E-0462-40EE-B525-26A6176CCD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d8c18bec7dd7943f32b59a37eee024e5a49254","datavalue":{"value":{"entity-type":"item","numeric-id":5452056,"id":"Q5452056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975916$D9435942-C293-4F06-8F1F-EC0A853414A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18a6441ceb9e280450e98301db3e9bd12b9014b","datavalue":{"value":{"entity-type":"item","numeric-id":3601854,"id":"Q3601854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975916$3BC439C4-968A-48C0-8946-6819D672DE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"439e51e6cfdf50a73df8b2deefcda14660157a31","datavalue":{"value":{"entity-type":"item","numeric-id":4158482,"id":"Q4158482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975916$FCC27C1A-4D00-4D2E-BD3A-0859BBCD9962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caf423d4b23066c32496967aed75d68d3d72d078","datavalue":{"value":{"entity-type":"item","numeric-id":2852133,"id":"Q2852133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975916$BD7B2F69-3B67-4E3F-B109-50DB17681DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daacc8f44424dd7096d164e2a797d635bd5f747d","datavalue":{"value":{"entity-type":"item","numeric-id":5452062,"id":"Q5452062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975916$284B16E3-24C9-4E88-96A9-21F0DEDBC653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975916$04C1A7BF-8142-4106-8025-D1CC41769A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e04746584ba5c966651661d46124e413b68c3474","datavalue":{"value":{"entity-type":"item","numeric-id":5191169,"id":"Q5191169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975916$41E8CF21-B871-44FD-97D8-7BF63BD366AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d173894faa2ba705dfdcc395f469f131acaff1c8","datavalue":{"value":{"entity-type":"item","numeric-id":2852135,"id":"Q2852135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975916$0093CF4F-28B6-4B88-8BF2-2D945F94C806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c483768753e996d12fa67a16a2632c41ebe9c09","datavalue":{"value":{"entity-type":"item","numeric-id":5404514,"id":"Q5404514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975916$905F38CF-170A-4180-AE14-63DF1710D8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5750958b2ae4a92f6acb6a9779ec9d53230d98a9","datavalue":{"value":{"entity-type":"item","numeric-id":2789127,"id":"Q2789127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975916$87A9A45D-A0AB-44E3-8C08-6EE60D201A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faf03f2e565ce1d74921ea90ff8a4b05d6337800","datavalue":{"value":{"entity-type":"item","numeric-id":964395,"id":"Q964395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975916$61C6C31D-FF51-40AE-95D4-1E93383336C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caf3709e4f5da164f290f38d8d6542d810137d16","datavalue":{"value":{"entity-type":"item","numeric-id":2655491,"id":"Q2655491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975916$EF1B6D4F-EFA9-48BA-A35F-C9E34B452329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff81489e80366438468bf6dfe10c7a159bc3ea8c","datavalue":{"value":{"entity-type":"item","numeric-id":4057549,"id":"Q4057549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975916$FE3CB9AE-80F5-49EB-B1BD-1CBB533F3E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ca62e4fe6de9e691b29c6685c26d5ae6a2502cb","datavalue":{"value":{"entity-type":"item","numeric-id":4418606,"id":"Q4418606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975916$E92E4338-2209-4214-B6C3-0E3FAC639203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc715e27156280a138563a00f62c383872123ed","datavalue":{"value":{"entity-type":"item","numeric-id":1582013,"id":"Q1582013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975916$0FF7A4CA-BFDC-4034-A18C-43A235F30B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96d403ef10aaf9bba1e827ceb6b7f77d62b2f4a6","datavalue":{"value":{"entity-type":"item","numeric-id":5201252,"id":"Q5201252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975916$30DA9EE5-18B6-43FB-89B2-B97C54137648","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dce470b466ede75f1d9ed7c5dde27754a3559fc","datavalue":{"value":{"entity-type":"item","numeric-id":2413314,"id":"Q2413314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f48c07e991b4b0bd6841bc9430d69a64a15e31","datavalue":{"value":{"amount":"+0.9582817554473876","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":"Q2975916$F11BA836-B56E-4106-AABF-F982915F294E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee33d2bff6f630dafc5bf722ceb4d098a66e13a","datavalue":{"value":{"entity-type":"item","numeric-id":5404850,"id":"Q5404850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb309d9682bc8c5ba521be8dc8d0540a86874fcd","datavalue":{"value":{"amount":"+0.8472028374671936","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":"Q2975916$B402FE9F-EBE5-4F86-B9A6-29FE32C424F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55009f53f62729e485ebfd5e585a88245038da21","datavalue":{"value":{"entity-type":"item","numeric-id":6162072,"id":"Q6162072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46e56b5a34352e48162bf48474c2d09937d1b3ed","datavalue":{"value":{"amount":"+0.842990517616272","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":"Q2975916$D9B19DAA-5327-4D2A-8882-C9362E35E43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b159a1a4b3868c6266af510b13b75061ed987e","datavalue":{"value":{"entity-type":"item","numeric-id":1749168,"id":"Q1749168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f180bf067c34705aafd503171a8dc5223635737d","datavalue":{"value":{"amount":"+0.8153089284896851","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":"Q2975916$B46B2445-0B25-441E-9A73-D3EE5F5540BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40ca42c0fedf8062fadb4570f9e1ddbf8e0bb52b","datavalue":{"value":{"entity-type":"item","numeric-id":2789127,"id":"Q2789127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a09baaf853b0b9a2f68e5b4d20d074a681dc9963","datavalue":{"value":{"amount":"+0.8064931035041809","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":"Q2975916$21CCCD1B-1446-4D75-9D24-0EA1DD6E769F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2975916","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2975916"}}}}}