{"entities":{"Q6536304":{"pageid":14147447,"ns":120,"title":"Item:Q6536304","lastrevid":55636912,"modified":"2026-02-17T20:08:07Z","type":"item","id":"Q6536304","labels":{"en":{"language":"en","value":"On strings in software model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7834960"}},"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":"Q6536304$C8709F7C-DC6A-462F-BE65-CB715A60CEED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b13ea859ac2396e1ba609a364ef7cfae72981e86","datavalue":{"value":{"text":"On strings in software model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536304$6A191F20-0E0F-4258-A4E0-8FE87102B3FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ebce7132b0b2b294c2ac30101f0cbf3d3adf8cb","datavalue":{"value":"1542.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536304$097047BE-6B55-49AA-BE03-DB14560F9FD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a809ebf62ea67c6e2e27e9a8e0920083fdfafed7","datavalue":{"value":"10.1007/978-3-030-34175-6_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536304$28ECF753-4D6D-4F2A-906C-F14148430241","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9d858257cdcd153ab51f401565cbcee0b7efab5","datavalue":{"value":{"entity-type":"item","numeric-id":433343,"id":"Q433343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536304$AF5CC1DE-5752-462A-B1D0-89CC838DBF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c0a4237c509f19dceb169b6d7b433af280d355b","datavalue":{"value":{"entity-type":"item","numeric-id":300416,"id":"Q300416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536304$7C739033-D108-4201-BE2C-8A28AA186C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"279dd0b065dfee2ff231dd5431c2c283b5f29e06","datavalue":{"value":{"entity-type":"item","numeric-id":6536303,"id":"Q6536303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536304$FC6C1D37-3259-4F7C-9EC7-DCACE40E59A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea6e0d286aec87d7de2b77268af916e9034fb87d","datavalue":{"value":{"time":"+2024-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536304$92F2731E-71BB-4799-91C6-D3336CF5E54F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536304$F75249D0-9051-4240-B05C-8DC3E5C5990D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536304$DDA0DB75-8BBB-45B0-A505-A070B0E2FD9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bc68ca178f7f911c2524f9357dd88c80e3a8c6e","datavalue":{"value":"7834960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536304$91C10315-61E2-4B6F-9DB9-74ECBEBE6DB8","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":"Q6536304$EE45AC79-62F7-4B2C-89A0-14D944E0876C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9913d8c87cd1e113f76ae1e6bb2d932ced378fe8","datavalue":{"value":{"entity-type":"item","numeric-id":1702923,"id":"Q1702923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536304$7FCAE0DC-76BD-460A-BF82-FD950A13BF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359fb45aaedb345f290c1d71c6196d254c3c1191","datavalue":{"value":{"entity-type":"item","numeric-id":4813388,"id":"Q4813388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536304$454A17B5-FD68-4CB5-BCE6-8C3AA734CA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6842708af3ba668ba7733b8a4a47ecc006344b9","datavalue":{"value":{"entity-type":"item","numeric-id":4572078,"id":"Q4572078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536304$6F0FFEA9-237F-4076-9DA3-38A72DA6FBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b579707a4306c9f6e0814fff83d8fe01dadba181","datavalue":{"value":{"entity-type":"item","numeric-id":4559806,"id":"Q4559806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536304$3E7013DA-49DA-4CFD-8320-E942CC0081E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792b8833b1e7f005667900de9120fb86dc0801c3","datavalue":{"value":{"entity-type":"item","numeric-id":3303904,"id":"Q3303904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536304$0DADD0A2-2632-4B74-A387-0AED12E46D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1060c39f6c78c6c906f6922c72b026efa0999e0","datavalue":{"value":{"entity-type":"item","numeric-id":518396,"id":"Q518396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536304$4745B3FB-5C22-420B-8BB4-144D7C24363D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536304$64E24E0F-8190-485E-85AA-A438FD918CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308fe80a6836d33abb7e389605e4db3f8b3e561b","datavalue":{"value":{"entity-type":"item","numeric-id":4633552,"id":"Q4633552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536304$D9217139-B815-41C4-90F2-5AC6E2296A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536304$8D72A2E9-B8B4-4354-8700-7BE6A3234818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72602412fc4843dc076fcdd0c6befe70a32a36eb","datavalue":{"value":{"entity-type":"item","numeric-id":2272917,"id":"Q2272917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536304$9811A8A0-1023-47E7-A813-22AC68177031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"707165a093156462bd4a3f8762120c7cb6201ae5","datavalue":{"value":{"entity-type":"item","numeric-id":518404,"id":"Q518404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536304$C9C4AD2F-E80D-4BAD-9A28-04A160BB11FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dbd28c6ee684820f322061f2bad28e80d695437","datavalue":{"value":{"entity-type":"item","numeric-id":3455084,"id":"Q3455084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536304$26392952-68EB-405E-9302-BF50DF5A6B01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90848cb60810f0d798ce3f5b8d572580a7189947","datavalue":{"value":{"entity-type":"item","numeric-id":6198467,"id":"Q6198467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b88aac61a86534fb996e618a14c474453217684","datavalue":{"value":{"amount":"+0.7747450470924377","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":"Q6536304$D006A939-4269-40E3-85CA-ED91D8184C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8b2e08f73f62e28259e395453e917e84bed531b","datavalue":{"value":{"entity-type":"item","numeric-id":518402,"id":"Q518402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"674e97d974c5126100e8f65cae30557a13499b03","datavalue":{"value":{"amount":"+0.7599220275878906","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":"Q6536304$6AF306E7-2F85-465B-BECF-0FAFF36FC37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bd9873773214532083f4c6a1e1471626269058f","datavalue":{"value":{"entity-type":"item","numeric-id":3617764,"id":"Q3617764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1076a2cd160728bdf9dbe37969d22b2dc1f4a8f","datavalue":{"value":{"amount":"+0.7467793226242065","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":"Q6536304$D8AAB8C2-1441-4EF2-9D46-995E58581662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fec2440bbbb9e066ef0e5dfb5ea1312e83f85cc1","datavalue":{"value":{"entity-type":"item","numeric-id":4981159,"id":"Q4981159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ec411011bde75f6ab1770aa2bae82f32f2ca7a8","datavalue":{"value":{"amount":"+0.7452599406242371","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":"Q6536304$B72B1266-C9F5-468B-8ABA-60FA45A3ABDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cadd85731417f87ca499bcee835b6100c251ac54","datavalue":{"value":{"entity-type":"item","numeric-id":1702923,"id":"Q1702923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"157c1a69644295363dd822bc57b625e25c1d474b","datavalue":{"value":{"amount":"+0.7412009239196777","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":"Q6536304$23570472-DFD2-44F6-93A4-90BB5D8D7D65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536304","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536304"}}}}}