{"entities":{"Q2936229":{"pageid":2946949,"ns":120,"title":"Item:Q2936229","lastrevid":85360595,"modified":"2026-06-03T07:20:21Z","type":"item","id":"Q2936229","labels":{"en":{"language":"en","value":"Indiscrete models: model building and model checking over linear time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6383695"}},"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":"Q2936229$DBA67569-07A9-431B-9F57-70F200BF9B25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0feea80d211f60134ab58617ee36ef3e50042fa","datavalue":{"value":{"text":"Indiscrete Models: Model Building and Model Checking over Linear Time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2936229$8E14E166-DCC0-4C98-8ACF-7E82A8B4BA43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aff75e89f09399c51a2cc2f8a26e84f183999905","datavalue":{"value":"1303.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936229$9C0414FA-C28D-4B70-8F29-97A36F89980C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7b588d427c3c40a3035fdd871ee8fa6374e018d","datavalue":{"value":"10.1007/978-3-642-36039-8_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936229$23458180-1DA7-45D5-9BCC-F759C4E37FC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d26a6d42055360a4e3597c193110b77101cdab25","datavalue":{"value":{"entity-type":"item","numeric-id":518744,"id":"Q518744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936229$1AB0F8A3-C1B0-43C1-8AED-8116A7ADE2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b731434e1148d12c80d6300dedff0088d080112c","datavalue":{"value":{"entity-type":"item","numeric-id":476191,"id":"Q476191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936229$71A49365-561E-4C9D-87BB-9EE506BFBB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22c3c5a22fb3da755e2e8fb1d94c251a072f6ebc","datavalue":{"value":{"entity-type":"item","numeric-id":790946,"id":"Q790946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936229$FFA61FC0-6D28-46B9-B04D-3176911EDABE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8b4386c0d5d83f8302e271c05e50f8370fd57881","datavalue":{"value":{"entity-type":"item","numeric-id":2936224,"id":"Q2936224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936229$629E4D44-6C24-4B66-9227-231926954E79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39d11daed231ddc9c09fdaf1d1bb16c5de77d47a","datavalue":{"value":{"time":"+2015-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2936229$D9D9F47C-2E75-4943-B211-61862D829799","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936229$FD4A5F3C-DB6B-4F67-8081-EF53FF7FD593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936229$17397706-6F9B-4886-95AD-8DC701706410","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fda40a3568ef954238c4ba087d685dde48e386c4","datavalue":{"value":"6383695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936229$51314E75-BDBA-47E9-8A02-6BA7DED8DFD2","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":"Q2936229$4E41211D-236B-42FA-B269-7625132DA1B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e22448d84d32384431d6fee19eb0b38665dd07f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36039-8_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2936229$42C13876-A5B9-47FD-9DF0-3BC045D49F88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e40a70875808bfc6dee23148162c867d7b8b995","datavalue":{"value":"W37645454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936229$E74B9FD7-62BD-4F3B-8492-0F1056B453AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"630b4af98aad2211a279975c207ec2f0ee35f1bc","datavalue":{"value":{"entity-type":"item","numeric-id":2851939,"id":"Q2851939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"471f6ff6dc34eca64063461397d16c085d347cad","datavalue":{"value":{"amount":"+0.8339474201202393","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":"Q2936229$2981CECD-328E-4276-907F-C9BDFED9E497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d36dc8f35025e381d112cb21c4ffd75ea13c17a","datavalue":{"value":{"entity-type":"item","numeric-id":2355696,"id":"Q2355696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"822968ac7fa3c00451ef74519e0cecb7736dff43","datavalue":{"value":{"amount":"+0.826496422290802","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":"Q2936229$02619200-5904-43D4-A2DD-9F1465894453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1601c7548e38fdf1261ec200b9bc93fbcee3aff","datavalue":{"value":{"entity-type":"item","numeric-id":4475175,"id":"Q4475175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8de421736e02269279294cc5ce7cf064b92c53b2","datavalue":{"value":{"amount":"+0.8044180870056152","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":"Q2936229$B8424270-7B6A-4EEE-89E1-64E36BA59395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a1bdfdd388ae2045a5f966c478ba5dc79eda0e9","datavalue":{"value":{"entity-type":"item","numeric-id":2870137,"id":"Q2870137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8183dcc59417d34d23a74395034df92dd7f4cebf","datavalue":{"value":{"amount":"+0.7832225561141968","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":"Q2936229$89EAB503-24CF-4EE5-B56F-B5C709716C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc0c9f5a3bb7742960aa48fd3613863799efff22","datavalue":{"value":{"entity-type":"item","numeric-id":3176360,"id":"Q3176360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"239d6f8bc86d9eb4bc0f102b6e2e2049a2d91075","datavalue":{"value":{"amount":"+0.7550747990608215","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":"Q2936229$3716A0B9-C956-4C5E-AB33-2C6A15AB9941","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Indiscrete models: model building and model checking over linear time","badges":[]}}}}}