{"entities":{"Q2415938":{"pageid":2426681,"ns":120,"title":"Item:Q2415938","lastrevid":53430344,"modified":"2026-01-24T22:59:59Z","type":"item","id":"Q2415938","labels":{"en":{"language":"en","value":"Decision procedures for the conditions true in certain metric structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7057777"}},"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":"Q2415938$96CFB139-0D90-4221-ACC3-C8FD65D60D3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2091121d9a73da0c6cfdf2710611e46cefe17d99","datavalue":{"value":{"text":"Decision procedures for the conditions true in certain metric structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2415938$BF129F37-65C3-4C7A-8805-7176424213E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"097e1d6fe10c6cf92a57ee747b0109144d298e0c","datavalue":{"value":"1439.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2415938$E309B9EB-F4C8-46B1-A1A9-19908B818A2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8046c88830c5dfb2589ca8a57ceeee063c5c70b9","datavalue":{"value":{"entity-type":"item","numeric-id":292830,"id":"Q292830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415938$9D0281A3-8541-47C6-9A17-21B830E47C0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415938$2E2C4EEA-2443-4D27-B59C-7151AFF93A2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7175bc5b448813e6c45463c465346435e9aa8168","datavalue":{"value":{"time":"+2019-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2415938$3A2B63D7-88CF-4858-8044-8640B1A20ACF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2415938$F99A7718-F975-4F0A-9077-DDF7165C7015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2415938$BF378DCE-A687-4BFB-B884-E93E1737EC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2415938$8BFCD2F9-AE80-4542-9134-4EF5C04872B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2415938$D56AED81-A978-4CD7-9E80-713656425AC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d81b9c69618a8d583c03b24d892e5bd9a57c1cc","datavalue":{"value":"7057777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2415938$06A79658-9DA1-4A7E-83E9-AA9D37085E35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ab39e7ac4cac1872bd661c517d581e7dcb49dbb","datavalue":{"value":"metric structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2415938$F910A36D-C3D8-4422-AAD6-DB2FD1F6EDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a2a96d016586cb198f7d32c0e864c0a301f3790","datavalue":{"value":"continuous logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2415938$1AA4A891-D712-4C40-A815-4F7A03C9610B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2415938$CDEF88AA-51FA-4C2B-9561-9469FF072C6E","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":"Q2415938$FD4C5F17-895A-4639-87E0-8DDED23698BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f1eb7d460e77268009bf88e723d11c4357c7ea3","datavalue":{"value":"https://doi.org/10.1016/j.topol.2019.02.039","type":"string"},"datatype":"url"},"type":"statement","id":"Q2415938$53236226-1D3D-46B2-8AC2-3AB31586ABE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0f4f007c257c66e6383e14bd4283b8b30abf4a8","datavalue":{"value":"W2920403442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2415938$AF6C09E5-D831-4F1E-8EE0-D7A4CB23F8B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f752ae246ff00bcbe470e385722e1fbc5aa290","datavalue":{"value":{"entity-type":"item","numeric-id":3602612,"id":"Q3602612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415938$D39F3781-AEC2-41A8-B7A2-4F91CC912A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"516de7c1a2a6d91e822ee36cdc0100494c8e920e","datavalue":{"value":{"entity-type":"item","numeric-id":5190194,"id":"Q5190194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415938$3D451F2B-6F4F-4C3A-B535-6E0C1288D709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30a971fde3b0534e5a1fe7cd0fccd1f1645b8e82","datavalue":{"value":{"entity-type":"item","numeric-id":490729,"id":"Q490729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415938$AD583959-1088-4568-BF91-6B8A192060F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9020c6b424f4bdad0e9fc14fc2aa42a9c962e4e","datavalue":{"value":{"entity-type":"item","numeric-id":466085,"id":"Q466085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415938$C884947E-2520-4621-8B69-4FFE216BBB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"accc02c20a2ff70c66e5a7df40b373703c01407f","datavalue":{"value":{"entity-type":"item","numeric-id":5670622,"id":"Q5670622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415938$53B739FA-DE86-490F-992D-0C18E04DF319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af50c8858c04afadb015b106f6daf9bf429bb848","datavalue":{"value":{"entity-type":"item","numeric-id":1745350,"id":"Q1745350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415938$036D17D5-BECD-4527-86AF-315748D82BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26fe4647c766c887b3fa9059666b07cc20d6d51c","datavalue":{"value":{"entity-type":"item","numeric-id":3927215,"id":"Q3927215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415938$60F4C801-3DF1-49C1-B581-DF80EB739D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8185eca188dc0510335a7141f2c8a6536de87150","datavalue":{"value":{"entity-type":"item","numeric-id":935262,"id":"Q935262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415938$F5C6924C-25EB-48A6-8FF4-E98D0BB6CD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ef13300e564984051306d94bfce1d65f467350","datavalue":{"value":{"entity-type":"item","numeric-id":3338227,"id":"Q3338227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2415938$EC791DB4-01E4-413A-9FF3-B6BE4ABC5C1E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b4953e2d4bc79983ee64db89c12bc602da680f5a","datavalue":{"value":"Q128382299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2415938$9983BA64-1D0C-4E2E-804E-F8A5AA2CA7A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11e6a4979071fb4e5957964e14d145fcf9ea2b90","datavalue":{"value":"10.1016/J.TOPOL.2019.02.039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2415938$920149F9-7CBB-4FAA-8818-ABA3EB934462","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85087fbbc5f5d3cfc467b374926460afc8cc2f0d","datavalue":{"value":{"entity-type":"item","numeric-id":5190194,"id":"Q5190194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a8306dd4995055197178a8f6f8d55eddd1be8c4","datavalue":{"value":{"amount":"+0.8236237168312073","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":"Q2415938$FAD0ED21-9438-4446-98BE-850FDF471225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67b9cf8ea202091702f7ffc15f7f2d09df6d8067","datavalue":{"value":{"entity-type":"item","numeric-id":541224,"id":"Q541224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5984e5c3400098c842a354aef4d7b290e0202611","datavalue":{"value":{"amount":"+0.7701284289360046","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":"Q2415938$8348D542-4396-4DE7-9E04-A255E7EE560B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de118e9eef4370e8d53ed3bba9d514258a2f0efc","datavalue":{"value":{"entity-type":"item","numeric-id":5398233,"id":"Q5398233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0307a0c93940d2cbf07c57cac46b2f1bb165beea","datavalue":{"value":{"amount":"+0.7701066136360168","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":"Q2415938$85420D0C-D73E-4875-8643-BF694F52FB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d90f007d05070792ced772fa668139c722df728","datavalue":{"value":{"entity-type":"item","numeric-id":5740682,"id":"Q5740682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22d23bc0450347a771c42800a68430fbf97e4520","datavalue":{"value":{"amount":"+0.7551798820495605","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":"Q2415938$185B1D47-018F-47CC-8FDE-28F9201C100F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ffdefe94304d01764191ac999262223bea9802","datavalue":{"value":{"entity-type":"item","numeric-id":636319,"id":"Q636319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4af681fa175f110095d691ca36f70e2d519b5779","datavalue":{"value":{"amount":"+0.751433253288269","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":"Q2415938$07A8457E-B0CC-4219-8FCC-675AC37AC2A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2415938","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2415938"}}}}}