{"entities":{"Q1857293":{"pageid":1868035,"ns":120,"title":"Item:Q1857293","lastrevid":73572213,"modified":"2026-04-14T16:30:19Z","type":"item","id":"Q1857293","labels":{"en":{"language":"en","value":"Mark, a reasoning kit for mobility"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1870093"}},"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":"Q1857293$B88E4CA1-800C-4503-85A3-EE0618B936A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6065a66a35c17caaf3a6ae3ff2849df5e2b0ba83","datavalue":{"value":{"text":"Mark, a reasoning kit for mobility","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1857293$9819B994-994E-4226-A51A-24777CDE0CB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8075a43d9a3e2f467d1c8b118e9dcd0e28dcf9f5","datavalue":{"value":"1034.68600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857293$63B38A80-1F46-44EE-AEC8-6D14C47D12D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"874d6519e48c1283d1c61d78e2e4bcea450233ff","datavalue":{"value":"10.1023/A:1014530313153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857293$D0149FCE-483A-49F0-8B66-C4C3A55972F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b65da3d1db892ea3da94465cf40a354c022aebcc","datavalue":{"value":{"entity-type":"item","numeric-id":1249446,"id":"Q1249446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857293$FF15C6D6-8F72-4D8B-B53D-05126930886B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cdb32460f792a016a9bc777d8764dec9ab10fdc","datavalue":{"value":{"entity-type":"item","numeric-id":511934,"id":"Q511934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857293$CF3ECE30-E080-4C51-AB8C-9ECC44CAF4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a43c468aead64a3a57b1fb23c664873e915c37e","datavalue":{"value":{"entity-type":"item","numeric-id":1857292,"id":"Q1857292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857293$DF3D49DD-15E3-481C-A468-31B07869E112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72039656185d0ef8eb3f9cb23879b2b5abb28d22","datavalue":{"value":{"entity-type":"item","numeric-id":530216,"id":"Q530216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857293$393D86DE-0A2D-4088-BD5D-CD573C4379B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fcbe10a5fdb94bc84c83e33679ac5fc8287e6a8e","datavalue":{"value":{"entity-type":"item","numeric-id":185909,"id":"Q185909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857293$D1E5A9B3-8AA5-4D16-A427-D4D5B9CACB7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9a6bf7c8c9a70357d4c9fdf08598811d107086f","datavalue":{"value":{"time":"+2003-02-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":"Q1857293$DE96364A-5DDD-4DD5-8432-EB08C4EF2A0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857293$C39B9FA1-B6B7-4D72-A21F-DDAB0EDB143E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857293$5E97FC7F-3296-4665-89C1-7BB74C978DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857293$6558C7DF-B5D0-43EA-8190-9F752977C07C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d16c6e3e363c3c92d39eaa8c7dd5328290f8414","datavalue":{"value":"1870093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857293$7151DEE7-845F-4BE6-AACC-E65BB619E304","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857293$F48F2310-E77E-4E17-8609-B284D0248EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2846404e39f2305ac3f3d41c6401cdcdb0d83c64","datavalue":{"value":"mobile computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857293$9D273CC7-D6A4-44D9-B8DD-9457A9C74F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857293$E2B2DFF3-89FA-457B-BD52-FC17CDE68A37","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":"Q1857293$9AFB9B6C-439D-4CFC-A822-144977B4F14A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"868ee61e027100d2b1a5e567c9cb1022ecdf504b","datavalue":{"value":{"entity-type":"item","numeric-id":4222941,"id":"Q4222941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3da5e99db86a9fd9817abc941ff593d1d6a1ccdc","datavalue":{"value":{"amount":"+0.702293872833252","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":"Q1857293$8043143D-9B0D-430F-835E-006A96BA8E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07c6d71c918ae9d18f5a095dcba5e2706b2c06bf","datavalue":{"value":{"entity-type":"item","numeric-id":1006650,"id":"Q1006650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d14ab010ad784fbebc7367e4fb55f27f8e4cc8b","datavalue":{"value":{"amount":"+0.7002146244049072","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":"Q1857293$0A8BC512-D485-4A16-A054-0626F6AA5E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95212300d085b9d0eab89c3f808cd4d5f7e982dc","datavalue":{"value":{"entity-type":"item","numeric-id":5959858,"id":"Q5959858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5fe5fb0e7d0a442cff2fc67b5771e96ea739030","datavalue":{"value":{"amount":"+0.6850686073303223","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":"Q1857293$64BC8055-1A95-412B-8D38-52C0FEBC9020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f15da2b04d2f3b2272e9a4022da8cfa9d5aff953","datavalue":{"value":{"entity-type":"item","numeric-id":4738174,"id":"Q4738174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ff48b4f06393b2becce3aa0c641c0750b501299","datavalue":{"value":{"amount":"+0.6709772944450378","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":"Q1857293$1E55C94A-7D56-4834-83EF-3A8E022DF52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da73f6bb45069cfabfcba9d93d0c41045af03a56","datavalue":{"value":{"entity-type":"item","numeric-id":4484493,"id":"Q4484493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7572ac6a7a45610b7a6002b4404236dae11b7ca","datavalue":{"value":{"amount":"+0.6700455546379089","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":"Q1857293$FCD560E5-4D19-47E2-BF4D-23548B4D32D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mark, a reasoning kit for mobility","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mark,_a_reasoning_kit_for_mobility"}}}}}