{"entities":{"Q6869934":{"pageid":20716195,"ns":120,"title":"Item:Q6869934","lastrevid":84234146,"modified":"2026-05-14T00:23:02Z","type":"item","id":"Q6869934","labels":{"en":{"language":"en","value":"Infinite state model checking by learning transitive relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8149366"}},"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":"Q6869934$538AE0CD-E0F5-4408-8DDB-D0D66960AF25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfaf8adda2c86ebf4518044f87c2614d9de6c5f5","datavalue":{"value":{"text":"Infinite state model checking by learning transitive relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6869934$65428F91-4440-4BFD-AD32-772876CDE5E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"caec181dfffeac94d04b9e88f1b6409df6483ae9","datavalue":{"value":"10.1007/978-3-031-99984-0_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869934$C97DB0C4-25D5-43C4-B85E-CF6F34516BB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ceff39412d9c06c1d2cd592800cc7acbcd40d91","datavalue":{"value":{"entity-type":"item","numeric-id":1647967,"id":"Q1647967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869934$8EE4F4FB-2146-4C6F-9BE4-A493A9CFBE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869934$56E8ECED-8F03-44FB-8D70-C4223723FB26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd0535754d1571e407a6ce2636467dab5aaebc85","datavalue":{"value":{"time":"+2026-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6869934$9BC9CB5E-DBA7-4FBC-9FA8-A069F81EEE5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869934$19AE4101-E976-4E56-9504-D1FC4D2B3C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869934$73238448-48DF-4043-9446-3C3DE2B7147C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869934$5AF83DCE-510C-4924-94B3-B344F574C724","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"284ebce649e36493b869e3a2e25796bd81dee74e","datavalue":{"value":"8149366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869934$AC9074C8-94FC-4074-8B1A-9300E006F306","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869934$FF5DA41B-4175-46B2-B742-C8547DCFDB7C","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":"Q6869934$059E1946-BE68-4A1E-96F2-E24A4CF73D9E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6677abc0859eba7c711819fb7971318ff9197f99","datavalue":{"value":{"entity-type":"item","numeric-id":5491888,"id":"Q5491888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869934$98E3ADFF-7ED5-475B-B0D3-E13D6166C793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7c81a9d4dc17a1a6973f2208604b026b73d20f","datavalue":{"value":{"entity-type":"item","numeric-id":6535535,"id":"Q6535535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869934$5C6E1D2D-4BC2-4A21-BD97-CEF0565DDBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62182dcb51c15de8e9697db383dc1581d8b46dcc","datavalue":{"value":{"entity-type":"item","numeric-id":3583851,"id":"Q3583851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869934$8EB24ADC-7AE3-43B7-8AEA-DA95D0BEE2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869934$33EAE47C-B9B3-439A-A0B8-18EDB721C0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a55e494e16529a161017d89573a02a0aca3c9b","datavalue":{"value":{"entity-type":"item","numeric-id":1283741,"id":"Q1283741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869934$F2D88101-C0FC-4BFA-A27A-46FB697527F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869934$0FCC60F3-F497-4303-8BA6-085378D42976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448e5abb05ec0c10b64746c80e216ef9d23df3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5674430,"id":"Q5674430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869934$0883597C-F668-44AB-B3E1-833ECAB651CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869934$D258BB2F-4399-4CE6-95F2-2C3840C5497E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa4f96e3374f503888e2094fc6f99dfeaa211ed5","datavalue":{"value":{"entity-type":"item","numeric-id":5039502,"id":"Q5039502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869934$DE6028DF-C089-418E-99F4-930050FD4D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb73519c0791d63a69c9ab8bde5f9e2e4d63aca","datavalue":{"value":{"entity-type":"item","numeric-id":2104557,"id":"Q2104557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869934$3D943441-016A-4B6F-867E-EB732A2E7758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"115184d953488da0c82213a98eee6214fd8046b3","datavalue":{"value":{"entity-type":"item","numeric-id":6492742,"id":"Q6492742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869934$D528884A-02F6-447A-925A-D5FAD4DE5C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca1a9cda6b78f84fd722080bbbc87d2ef5c72f06","datavalue":{"value":{"entity-type":"item","numeric-id":6869934,"id":"Q6869934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869934$9B7AFFF8-1B66-43D6-A8E4-CCD40CF23EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1060c39f6c78c6c906f6922c72b026efa0999e0","datavalue":{"value":{"entity-type":"item","numeric-id":518396,"id":"Q518396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869934$B806F5E4-7FEA-466A-88B7-DD6FA1542D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8039c9646459a707d7c4b46382a2f73cec494060","datavalue":{"value":{"entity-type":"item","numeric-id":2272931,"id":"Q2272931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869934$1E260611-2FE7-489A-9936-1B1331C8424D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36c36a33f99dd120f8ee638e971c8b19f681cb1","datavalue":{"value":{"entity-type":"item","numeric-id":2226726,"id":"Q2226726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869934$A1F2E372-B006-41AC-A8C8-4DE427D9ED10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44d50a1fa337b191c61834ab20f6e945ce7fc627","datavalue":{"value":{"entity-type":"item","numeric-id":2248058,"id":"Q2248058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869934$47467779-360D-42DB-A85B-F08F10395C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"834e24b30afdff9c5ef907ecc0041e7bc636df4b","datavalue":{"value":{"entity-type":"item","numeric-id":5206955,"id":"Q5206955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869934$06897092-234F-445F-91A1-F827660FEB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869934$E6007631-D5F1-48B1-98DD-96CFF92E2825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869934$768D42D3-A1E6-4DE1-B6D3-BBC8EFF954D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc06b87bb4c751386a813c26b4608cd3699937bc","datavalue":{"value":{"entity-type":"item","numeric-id":6154875,"id":"Q6154875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869934$BD71939A-A613-475F-87D3-CAF6DB1C05CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinite state model checking by learning transitive relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Infinite_state_model_checking_by_learning_transitive_relations"}}}}}