{"entities":{"Q5452608":{"pageid":7482167,"ns":120,"title":"Item:Q5452608","lastrevid":50326880,"modified":"2026-01-13T20:11:06Z","type":"item","id":"Q5452608","labels":{"en":{"language":"en","value":"Learning Algorithms and Formal Verification (Invited Tutorial)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259436"}},"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":"Q5452608$5B8435E0-D659-456E-80B3-4CA0E4C4BB3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77f5d857a3d9c272b84ab1bc164ab7d76b4e14b7","datavalue":{"value":{"text":"Learning Algorithms and Formal Verification (Invited Tutorial)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452608$A8480AF7-7031-483F-9426-74C255E7EFDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"763b88eb730fc50536840262687ebb0671be398f","datavalue":{"value":"1132.68428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452608$AB63D4F2-ACD8-4021-955B-BA48507EE84A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64a45c2c063c8acc8191849869a77b6fef2eb156","datavalue":{"value":"10.1007/978-3-540-69738-1_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452608$E11BC09F-D79B-411E-AFD1-430FC76DC87B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7ae23aa61a0d3617ed945c3a7817f6e39ebeb8","datavalue":{"value":{"entity-type":"item","numeric-id":236078,"id":"Q236078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452608$F9816BD9-C27C-46CB-AC0B-33807ADDDF64","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":"Q5452608$45BB2082-4A06-43FC-8413-E38792BB6313","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"283c808929f873b84bd7c8d7eb4dc979113b8f01","datavalue":{"value":{"time":"+2008-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5452608$DDCC97BA-568B-4051-8B67-4C6D8EB88F5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452608$079E3C1B-812E-4F15-A80D-86084774F93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452608$5A8EB78B-7B1A-4E73-B8AB-A78B718DB145","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f09772e4ba881cade07860104392c3d29d5dd096","datavalue":{"value":"5259436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452608$E75133F9-7710-43E1-9EB5-E082F3E4B492","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":"Q5452608$A395B925-C2B6-4AE9-9FA6-42905E8679A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"178fe7e2e5330cc72c79ea413a04cffd9167a445","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69738-1_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452608$59CDF36D-01F8-4CBF-9DFF-76AF12790EB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee4223dd16396df58bf162dee1c9f3efad33d6d4","datavalue":{"value":"W1541616599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452608$D4C9F801-11E2-447E-B1AD-4DDDFD349C1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2fd6c46ec879b8f3c4c5362a60636285c2e3ebd","datavalue":{"value":{"entity-type":"item","numeric-id":3525110,"id":"Q3525110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b4b4edc38ac21222b4ebd61731d3c62f356221","datavalue":{"value":{"amount":"+0.8387874960899353","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":"Q5452608$D66F5DBC-6EC0-42AC-B746-55BE0D0E0884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"793c0d3f6db2b0e326a59803b219cdd305480f3a","datavalue":{"value":{"entity-type":"item","numeric-id":5458316,"id":"Q5458316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbe71c001a62b290bc540ba36b52d8253bbbb062","datavalue":{"value":{"amount":"+0.7692145109176636","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":"Q5452608$F4B5333F-163D-4E85-879F-A210BA21773A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd9bfb26ae3bdcea52062f729db82996722be65","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec273de786e6a2873cf6ca3a630bb35e06829cd9","datavalue":{"value":{"amount":"+0.7661622762680054","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":"Q5452608$52AD0286-AD37-4524-AEBA-2C63615DE1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07d1a53edfb6d86da19c8924bc4865cf314f1edb","datavalue":{"value":{"entity-type":"item","numeric-id":1689574,"id":"Q1689574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a044dbbe5e689273894723a0a15ab92b113371f8","datavalue":{"value":{"amount":"+0.7496116161346436","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":"Q5452608$1243C073-8428-446F-9A91-21BECA12E070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4713b22089dcfb39aba365f723e953560ed05b8","datavalue":{"value":{"entity-type":"item","numeric-id":5716596,"id":"Q5716596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4e6d4ecc1733349fa02f836210132b239445172","datavalue":{"value":{"amount":"+0.7417636513710022","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":"Q5452608$4771BDCA-5843-4C10-A9B7-DEAA7586AE2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452608","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452608"}}}}}