{"entities":{"Q3600466":{"pageid":5630372,"ns":120,"title":"Item:Q3600466","lastrevid":88622456,"modified":"2026-06-04T15:00:45Z","type":"item","id":"Q3600466","labels":{"en":{"language":"en","value":"LTL Generalized Model Checking Revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5505782"}},"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":"Q3600466$04773E59-1810-449F-9C09-D5340DF13A96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75d8079eb46a00fb8bbc58d6bdfb0bb9996814af","datavalue":{"value":{"text":"LTL Generalized Model Checking Revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3600466$EB94EE00-9E3A-4DF3-9858-B50FB32794BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d64dcf1c22e946f90b6eddc517693aefe63a389b","datavalue":{"value":"1206.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600466$2E7CF4A8-C0CA-4879-8560-8C072F204E1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53b30f2e88e22f63441e8ac02257312bd5a329a6","datavalue":{"value":"10.1007/978-3-540-93900-9_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600466$B17CF9B4-3B8C-43EC-9BAE-43AAEA9E63B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"027a8d6ba912dce3a5dee63eade531c0ba4f4a36","datavalue":{"value":{"entity-type":"item","numeric-id":1327382,"id":"Q1327382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600466$0AAA0EFD-D66F-49EB-9688-B18F642F78D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd1d437ad385d0c2e631f017473e3c972acd186","datavalue":{"value":{"entity-type":"item","numeric-id":439953,"id":"Q439953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600466$1819FCE2-75E2-436B-A466-F39576B52D19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600466$A29B6EDD-E95A-400D-9465-CDDDA54B27B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"862f3ea8dd1696c9694e62e0070fb4814c61ef07","datavalue":{"value":{"time":"+2009-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3600466$25A3CDAF-FF07-485F-A577-867414FE36DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9546224ab2c292be3cea3003cf5dab4e0acfc0a","datavalue":{"value":"http://hdl.handle.net/2381/10037","type":"string"},"datatype":"url"},"type":"statement","id":"Q3600466$93826D04-11FF-4394-A4E1-DCDB030B5BA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600466$394ECB15-5413-44FA-8F99-58EEC8EEB0A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6170ca06eefebc572afef1e9be9b530222a24e72","datavalue":{"value":"5505782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600466$D88F63E1-39FD-4AD0-8B0F-E19795E1FFCC","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":"Q3600466$5202AA73-3A3C-4DA6-9234-A754BA3F5484","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2c881eb717fd6562dfbe84013cae86c4c81aab3","datavalue":{"value":"W1619000467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600466$710A9C1C-AE7B-4EC3-86A5-FED509B4948F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b924f33539a420787b9c1bbc73132b6e70028d","datavalue":{"value":{"entity-type":"item","numeric-id":4804892,"id":"Q4804892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d06145135e0f5199c49625fdd79f7639cfd3353","datavalue":{"value":{"amount":"+0.8085681796073914","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":"Q3600466$053DC407-6556-4259-A482-FDB105812F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de6e153b5969c090d61eb6bf4582a31803e6130","datavalue":{"value":{"entity-type":"item","numeric-id":4411974,"id":"Q4411974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"591b7a0e60225fa9560409cdc59ef0f400f06f5a","datavalue":{"value":{"amount":"+0.7690280675888062","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":"Q3600466$434669BD-F346-4949-92CA-2E44A502CA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d086b21205e8ff05dfe3d242c1a32cfbf4927ab","datavalue":{"value":{"entity-type":"item","numeric-id":3648714,"id":"Q3648714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35a2912bead8da748cace21a01e69520d06f5ad8","datavalue":{"value":{"amount":"+0.7539273500442505","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":"Q3600466$FDB6C355-19B8-49EA-8A11-9D18AFF9A3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dce5cfd9f03d9a0ba61f291e4026b26bede70abc","datavalue":{"value":{"entity-type":"item","numeric-id":4823139,"id":"Q4823139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62ed56be3478f70616becae6204ed49ec8e6e84c","datavalue":{"value":{"amount":"+0.7462602853775024","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":"Q3600466$33AC286E-3DE4-4E5D-8FB9-1B799805FEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fc9596cf17897c472773f89fbff35fb24288ce0","datavalue":{"value":{"entity-type":"item","numeric-id":4536601,"id":"Q4536601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"693576dcaa30c19a2209b22ce1917c53d2de6d82","datavalue":{"value":{"amount":"+0.7419343590736389","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":"Q3600466$5B7961C8-A24C-4F8A-BC56-F6E09B29B009","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"LTL Generalized Model Checking Revisited","badges":[]}}}}}