{"entities":{"Q3655035":{"pageid":5684941,"ns":120,"title":"Item:Q3655035","lastrevid":90477770,"modified":"2026-06-04T20:19:18Z","type":"item","id":"Q3655035","labels":{"en":{"language":"en","value":"Using simplex method in verifying software safety"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5656385"}},"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":"Q3655035$766CEAB9-1D28-44F5-A398-D5C891EEB3BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c65b8850897d904f0d04bb754d8ed5306010465","datavalue":{"value":{"text":"Using simplex method in verifying software safety","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3655035$A128AF54-C616-4C8A-A1F3-E7B38FD9B8B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab382f4eb1c44893402b4a9b683d2e8722c93559","datavalue":{"value":"1274.90227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655035$4D8C4080-365C-4503-9328-C4D984636D6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"063efced66aebc06291569db09760e25f3c038dc","datavalue":{"value":"10.2298/YJOR0901133V","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655035$D3EA335F-55AC-4BBE-BAFA-1E9707DAB7C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d0bb6892ddc49e338048908304ac9a7827a632","datavalue":{"value":{"entity-type":"item","numeric-id":3655034,"id":"Q3655034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655035$DE4CB5FF-0E2C-4CC1-87B6-CB0AA58B17E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30659652a6bb6474380a07a770377c63fcc6c983","datavalue":{"value":{"entity-type":"item","numeric-id":606998,"id":"Q606998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655035$42118D14-87DC-400C-AA1A-6DF18EC07E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"069acaae761a70cad389394b30cebf0ec29e616b","datavalue":{"value":{"entity-type":"item","numeric-id":879278,"id":"Q879278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655035$A642D8B7-DF37-487C-86BF-265F67B407BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"58ee3e43158fa73f651a3b8bcbe067d61d3aa241","datavalue":{"value":{"entity-type":"item","numeric-id":2853208,"id":"Q2853208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655035$691D25A0-21CD-40B7-8E1B-AA6AA6B7919A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"149999f0c51cbac40d9c91928c2dc96d82dca2c9","datavalue":{"value":{"time":"+2010-01-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":"Q3655035$A1E62A1E-54EA-4C20-8290-298F3D972755","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655035$4211C6C2-66DF-4432-817D-74990F22E91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"418d4d19aa7c87e33d52e580c9c108a1bc2de096","datavalue":{"value":"90C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655035$27E4352E-3147-4395-A249-4F42188C265E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a784dc52c26470647d7f22ff897c34cd7b24c2f8","datavalue":{"value":"5656385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655035$96373A9C-EB9B-4BB9-A3EC-86581EF58820","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655035$B81C0D26-E36F-4008-ACF5-2D5D54AF063B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"22fe9da8a90d5fd15a8b8b3a53d41c5245c61849","datavalue":{"value":{"entity-type":"item","numeric-id":46949,"id":"Q46949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655035$7A18493A-CBDD-429B-B4FA-824BD4DBE17E","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":"Q3655035$22BB71A2-3AB9-4824-A675-9A0A2442E98B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"163551bc141baa61cf176500e45df2cd4bbfc6f7","datavalue":{"value":"https://doi.org/10.2298/yjor0901133v","type":"string"},"datatype":"url"},"type":"statement","id":"Q3655035$9506E4AA-AD8A-4ACE-BFE3-0B2438D77CD4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b155a72f3ced1a53a9dec8486b7e8e54f4adef34","datavalue":{"value":"W1999122515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655035$A025B07E-D3AD-4B00-8AF2-F54BF2123FBA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3b3ac429cd5b7b2e267856ac44ec1770eb09bdf","datavalue":{"value":{"entity-type":"item","numeric-id":5919616,"id":"Q5919616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea67a57841f87ee852fd9cd052131096e1de08eb","datavalue":{"value":{"amount":"+0.8473947","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":"Q3655035$DD19A63F-4D9D-445A-B647-8AF940D4813F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36a3f6104230163279f6b2a08f2a9eef2d0c76e","datavalue":{"value":{"entity-type":"item","numeric-id":5919003,"id":"Q5919003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea67a57841f87ee852fd9cd052131096e1de08eb","datavalue":{"value":{"amount":"+0.8473947","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":"Q3655035$9C33AE23-F7F8-407F-8A52-93EF689A543F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1948af842d13a6cb2493ca05713966944f083ca4","datavalue":{"value":{"entity-type":"item","numeric-id":1346653,"id":"Q1346653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07d825070e33d17511d7efd6db756e21583b80e8","datavalue":{"value":{"amount":"+0.8446916","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":"Q3655035$D85380C1-D897-453C-A052-F148A2A0400E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f1a04bbbc4c9b77610e85730558ed3f6af977e","datavalue":{"value":{"entity-type":"item","numeric-id":4493898,"id":"Q4493898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb76a8d123cc041f85a7b01624d8ee981ec66ce1","datavalue":{"value":{"amount":"+0.83644205","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":"Q3655035$9E53AD4B-4CF1-4813-B581-E0AE9AE2E907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7ff4474bcac0fcc680c87ac49ec5f8e12e5838","datavalue":{"value":{"entity-type":"item","numeric-id":5479162,"id":"Q5479162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c3cda7964a6fdb8385fd8d8963556c34f22af8","datavalue":{"value":{"amount":"+0.83444864","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":"Q3655035$C3D48882-44C9-40B8-B14D-EF3F941D419E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b0f68188bcd501061d0fa1ab7c48e11db3eddc","datavalue":{"value":{"entity-type":"item","numeric-id":4426372,"id":"Q4426372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dd7a33865656e49b9a5dffb893a825c31edd87a","datavalue":{"value":{"amount":"+0.8338802","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":"Q3655035$9D61297A-E9EE-48AF-A8B2-C7E4526D075C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e21b1d42604887f758ad4c30e2742690d09371b","datavalue":{"value":{"entity-type":"item","numeric-id":1951646,"id":"Q1951646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6247979f87281121e66cf7f6f905046a950a815","datavalue":{"value":{"amount":"+0.8334962","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":"Q3655035$63B7E50A-9414-4B4A-80C8-D7A5DF4D25B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b8530f0672d96de55e9cbda996cf2b12305141f","datavalue":{"value":{"entity-type":"item","numeric-id":2767167,"id":"Q2767167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f5eafb9840b34e1e2766fa150d4c703b2d006c9","datavalue":{"value":{"amount":"+0.8322975","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":"Q3655035$B2DD15FF-378B-4C2D-B127-CAC26F0E10BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using simplex method in verifying software safety","badges":[]}}}}}