{"entities":{"Q2642669":{"pageid":2653412,"ns":120,"title":"Item:Q2642669","lastrevid":50146217,"modified":"2026-01-13T06:44:53Z","type":"item","id":"Q2642669","labels":{"en":{"language":"en","value":"Learning to verify branching time properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5180045"}},"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":"Q2642669$7FC6C77F-321C-45E5-A65F-897F4AC857F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9bef6de5de66abe63945589350b78cb39e1d15d7","datavalue":{"value":{"text":"Learning to verify branching time properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2642669$B2E9BF75-126C-43F1-AB08-C6F0A552D0EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d458f76df9f725e7b945ea45aea10c42b84e697a","datavalue":{"value":"1118.68554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642669$68ACEC9B-13FC-44F3-B44F-7E89C946583F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"486df84d4d174930b89fe4a0635e9d78364ed073","datavalue":{"value":{"entity-type":"item","numeric-id":2642668,"id":"Q2642668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642669$4178C6A7-583F-4BE6-ACBE-C97F099CF3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"143b6b92bc6a16b35c1b93aef5aca0ebdc691790","datavalue":{"value":{"entity-type":"item","numeric-id":650913,"id":"Q650913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642669$95769E41-D2BD-44D5-B3F7-ABC1883846E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642669$0EE009DE-92FB-4B8D-ACCA-DC592C197813","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83e4c4eb0c7bbbd668895e6c0cbc0b4f249cfbea","datavalue":{"value":{"time":"+2007-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2642669$15604782-ED6A-4E67-AC80-C915611BF32F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"971df4ea0dbaf401d4234b0fed2a6c1417326f2e","datavalue":{"value":"http://hdl.handle.net/2142/11092","type":"string"},"datatype":"url"},"type":"statement","id":"Q2642669$B4D4B9BB-215B-4F05-91F7-7D9B9CD9B29F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642669$25158758-DCAC-4D4D-A000-C7FBB98CD5D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9085ca608ab709d3d11d03f04604c9f74e97afcf","datavalue":{"value":"5180045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642669$DDAEF062-D6F6-4C1E-9A5F-DD5A2FF6CDB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642669$5E53FD34-3552-4862-9D67-E4BD53B8A155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af948ab56df44408fff2ba197f928e63c9954960","datavalue":{"value":"CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642669$B8CC42C5-85CF-493A-A3BD-4F1795682A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ce42893629932f486a50818acc38bd693f7d8b2","datavalue":{"value":"Learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642669$1866CE0D-E3D6-43E7-B1EE-034A5C8A0003","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12faf0197c8eccd5f33a8e2b581ff39c1d8a00ed","datavalue":{"value":{"entity-type":"item","numeric-id":33079,"id":"Q33079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642669$2956280C-22F4-4553-AACF-63928F96F5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb600505726038dde1f7205c06067efdfd1bd64e","datavalue":{"value":{"entity-type":"item","numeric-id":14127,"id":"Q14127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642669$70485920-87A0-4347-B1A4-1E0D7965F0EF","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":"Q2642669$0323893E-53B0-4FDC-BB9B-82DB4CE833D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53198ac215fcc8a07935109bdb60255bbfda8adf","datavalue":{"value":"W1999625645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642669$7A8335F2-B959-4423-9B34-F81A1A1B9902","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b2dd25591c08b7932b69ce08512bbd5155f52b","datavalue":{"value":{"entity-type":"item","numeric-id":5900681,"id":"Q5900681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642669$F520E82E-AF50-4865-84C5-27EB771B68D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cf99323ae98ac6a76131488eacedcd6861e15fa","datavalue":{"value":{"entity-type":"item","numeric-id":5716596,"id":"Q5716596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642669$E36897DA-0B9B-4129-A1DF-0C1ED8E5358F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5557e309257b86628836399c6e159ec785039d0c","datavalue":{"value":{"entity-type":"item","numeric-id":5178894,"id":"Q5178894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642669$C8ECAA7E-8317-4770-9E7F-63CA8B5C5995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642669$1E99345C-32E7-4FC8-859A-0C0130990B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95df9aedbd7e5e563158d002f148b701b2fd0480","datavalue":{"value":{"entity-type":"item","numeric-id":4551165,"id":"Q4551165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642669$61DF84DC-7526-42C4-BDD2-C369EE2BAAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"814943f60212e703bad3bbd3a05f41ae03a0c4ae","datavalue":{"value":{"entity-type":"item","numeric-id":5308435,"id":"Q5308435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642669$66A5F26D-1EC2-4226-88B3-A459A716E112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"460b9d36021c6b195ef6d0b9445728c419bea4f1","datavalue":{"value":{"entity-type":"item","numeric-id":5312910,"id":"Q5312910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642669$77577526-C2C4-438B-9696-052850F6D914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642669$C5CB65FC-9B51-473F-968B-45C214FFA7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a97c71a218bbd7486ac5ef037a57f93071d21a80","datavalue":{"value":{"entity-type":"item","numeric-id":5900680,"id":"Q5900680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642669$D2236D9D-AEA2-420D-9238-546B09FA66C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405e423365a63f056daf918c24255c84fbebdaed","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642669$884BDE20-0BD7-40AC-85FA-98B5CBE56F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca108e30c3fc907c7296b226db780f8d8292dce7","datavalue":{"value":{"entity-type":"item","numeric-id":5716583,"id":"Q5716583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642669$6E3A04DD-F695-4B78-804C-95D4928FB77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e5d2a3258c7534111c1afe7f95a33b1202d115d","datavalue":{"value":{"entity-type":"item","numeric-id":5716595,"id":"Q5716595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642669$09CEE3E1-BD11-4EEB-8ABF-AD80E6E17EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600d8a1514e6fed4e4c66ebeb9b62bee4bc86b61","datavalue":{"value":{"entity-type":"item","numeric-id":4417936,"id":"Q4417936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642669$4B23A936-4F38-465F-9D69-941CFFD0EE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18e6fef404ee2aeb12ed5f5ba6c950f99a0c8d8","datavalue":{"value":{"entity-type":"item","numeric-id":4939270,"id":"Q4939270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642669$02242229-E334-463C-A43A-24D09039B213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642669$2ABADB7A-D244-4A05-9A5F-F052BAE09562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22addb5f3a51b2f17fcb41951064c05876e03255","datavalue":{"value":{"entity-type":"item","numeric-id":2851061,"id":"Q2851061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642669$3C153B4A-1B9A-4DC0-BA9C-A9198973B1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d82d8fbef7207e3a8c855b494fb9281aee4749","datavalue":{"value":{"entity-type":"item","numeric-id":2365762,"id":"Q2365762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642669$19B3707C-4BCD-467F-BBB8-C76AB3260288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642669$645051AE-98E6-427F-84C3-A68AF65AD1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1dc1c2dae98a465e7350a6b9e72254be8ec580","datavalue":{"value":{"entity-type":"item","numeric-id":4921501,"id":"Q4921501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642669$D096B806-6143-453E-8A1B-FBA7AE352796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b01ab8849da01de11d1ebd501f9f6b70a4538a7","datavalue":{"value":{"entity-type":"item","numeric-id":5465881,"id":"Q5465881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642669$9D070805-5707-4F84-B6AE-5498A63B614E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf6e22d46f3f7b263c9b7e07f6f0f2ee48f40c3","datavalue":{"value":{"entity-type":"item","numeric-id":5703791,"id":"Q5703791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642669$C783D16F-6E11-4870-8D6B-D06E266673D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4f5fbb9182b15030ac02c9a95b97d73eb7a592","datavalue":{"value":{"entity-type":"item","numeric-id":2642669,"id":"Q2642669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642669$6954E01F-0C48-4F0A-A647-79E3BCABC77A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1ee8884a62a6cd615994f64961802b835c1445c","datavalue":{"value":"10.1007/S10703-006-0026-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642669$3928E4D8-35F6-4ABD-9066-73EA98F4A4D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c9828957d67044d6ac6db4680c9554faf90f833","datavalue":{"value":{"entity-type":"item","numeric-id":5703791,"id":"Q5703791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"478c4c9a26afab1c107bc5a4dc78b16edbb9cc66","datavalue":{"value":{"amount":"+0.7895190119743347","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":"Q2642669$3B91C74A-C83B-4A50-8F14-9D307D6B71D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7125fe52ce73741ab1ae06610aa9d74b8be9378a","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b51f54555e4cebfcabf15ee8594b6df3ee28844e","datavalue":{"value":{"amount":"+0.7553480863571167","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":"Q2642669$0DAC771A-624E-4ED7-9804-5D2131B9C4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c9dca3a78a770850868382fd9a56590720a9de","datavalue":{"value":{"entity-type":"item","numeric-id":1702907,"id":"Q1702907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1be21ef05fae585d5d6dbfd150162578dc41f58e","datavalue":{"value":{"amount":"+0.7533108592033386","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":"Q2642669$22FE3781-C97A-4278-AEEF-43C82EF7BBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662f051937086bb2907463bf6ee78e7b61ae81e9","datavalue":{"value":{"entity-type":"item","numeric-id":4493882,"id":"Q4493882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71ac220632f948547b34e2edd9ef76c82d43f5fc","datavalue":{"value":{"amount":"+0.7416397333145142","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":"Q2642669$3B803D01-7E53-4527-9696-34CFB3DF90AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65a8cfdc3a726183847675febfa6ff30ba69be4","datavalue":{"value":{"entity-type":"item","numeric-id":1603537,"id":"Q1603537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71ac220632f948547b34e2edd9ef76c82d43f5fc","datavalue":{"value":{"amount":"+0.7416397333145142","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":"Q2642669$6651DD4B-CF4D-425E-8B0A-16FBD7EAC4BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2642669","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2642669"}}}}}