{"entities":{"Q6861677":{"pageid":20666686,"ns":120,"title":"Item:Q6861677","lastrevid":84249002,"modified":"2026-05-14T04:40:06Z","type":"item","id":"Q6861677","labels":{"en":{"language":"en","value":"Self-verifying predicates in B\u00fcchi arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8156716"}},"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":"Q6861677$0DA2206B-A32E-4A33-9162-6476AC004B84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8368d7f674cba2848adaea290e754f49b2789c3","datavalue":{"value":{"text":"Self-verifying predicates in B\u00fcchi arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6861677$34262211-C9AD-40D7-BEE1-DFF3ABBB6A4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0bb1b558e8d7331ab1103fa31231bd1ff9d616b","datavalue":{"value":"10.1007/978-3-032-02602-6_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6861677$A2889A1A-02B4-476F-8ACE-242D492CA0EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb3e135dbc4ef045e00bd09bc4ab5c5095cd8eaa","datavalue":{"value":{"entity-type":"item","numeric-id":6861676,"id":"Q6861676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861677$E5193A53-BCA7-4532-A2A5-67153F835172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4363d4080e22a7699af7ef2d60ea4397f2860d00","datavalue":{"value":{"entity-type":"item","numeric-id":346251,"id":"Q346251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861677$5609B2A7-CB25-4F23-8906-D565D870C9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"acbe3fcdaa2e72f3bce067779bfee150bff0b503","datavalue":{"value":{"entity-type":"item","numeric-id":405317,"id":"Q405317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861677$BB1A75EF-8BC8-4A24-863C-3384B37632E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6861677$B2F95A93-CBF6-4120-B841-56059EB300E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6861677$AFDE14CC-99FF-4339-A35A-A4670BBBDA6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb21bc39fa4914d24b4559a801d2cdb1b9768a8c","datavalue":{"value":"8156716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6861677$F0BC0D4D-AC57-49AF-A422-B2D9568569EE","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":"Q6861677$13BF1E1E-5C6C-4B62-8913-B7D09C9476BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"950f3bf0951443eb1e5bcbf62abe86752f7308ef","datavalue":{"value":{"entity-type":"item","numeric-id":4431260,"id":"Q4431260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861677$877729E9-D472-4922-AC5A-922DAC7EB403","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":"Q6861677$69950056-7265-4134-BAFC-C13E1A77D54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7ed7de542eac53a6c1c02cae6ad99b4d67063ae","datavalue":{"value":{"entity-type":"item","numeric-id":4663912,"id":"Q4663912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861677$58972B61-4F66-4559-AB19-409EE484714E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"560df00f9cb950458dc748721b242301d17deb4c","datavalue":{"value":{"entity-type":"item","numeric-id":1391295,"id":"Q1391295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861677$AE576BE5-4A1D-4927-B4C0-5A46CF2F8507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de29fbd20c178037317006e502680133b13a6d7","datavalue":{"value":{"entity-type":"item","numeric-id":1326952,"id":"Q1326952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861677$710D9DE3-7084-4CC4-961E-182C62B94BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7deb1a85711fe2351b1c5f474e15597b65aa598","datavalue":{"value":{"entity-type":"item","numeric-id":6899371,"id":"Q6899371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861677$5A9A828E-AA2A-4B0F-8568-EB40C3818338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd52f9b2864d5eb26c0dee8cd058f17274aca5b","datavalue":{"value":{"entity-type":"item","numeric-id":3992021,"id":"Q3992021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861677$1C183FC3-E4F4-44B3-8033-6EB99702CB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36b8721f305b3d00ab919cdb9ab62dbb7b84a2d","datavalue":{"value":{"entity-type":"item","numeric-id":4880554,"id":"Q4880554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861677$2E27DA24-212F-4A0D-95B6-43E9179674BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861677$8D1A2C96-9FDE-4636-ABD9-EA0614E80A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d19324feede743357692937a5f85e76dd9043820","datavalue":{"value":{"entity-type":"item","numeric-id":3186674,"id":"Q3186674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861677$1EEE227B-A1C2-4F39-A853-41EEB354360A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dea4af9cd80b3b152d81c67c127e0d324f071e49","datavalue":{"value":{"entity-type":"item","numeric-id":7021360,"id":"Q7021360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861677$EC088126-B5A1-4DA5-988A-A023D5850022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91060cdeca0154f02bb1775d35e9b9faddf7ebb","datavalue":{"value":{"entity-type":"item","numeric-id":2140455,"id":"Q2140455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861677$24632C37-20EC-43B2-9D37-B5CCA257AE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79610d67000ac3800ec9c7fc973c320d024cafbf","datavalue":{"value":{"entity-type":"item","numeric-id":5093875,"id":"Q5093875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861677$7BACD24A-5984-4249-81DB-5BF892D8BD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b92955431877939ed15b424456e808802b0c61c","datavalue":{"value":{"entity-type":"item","numeric-id":6187116,"id":"Q6187116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861677$226944F5-E6F5-4E71-A8B7-9FEC90EF8FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13343ce99df3745ba6a0dfc1d2cd5913f5fd46e9","datavalue":{"value":{"entity-type":"item","numeric-id":6041046,"id":"Q6041046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861677$AA2164BD-1B6D-4F0C-8E62-739A9BC1F49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37cb1cf49e471b64ddbfdd38bf42e75ea1f2734e","datavalue":{"value":{"entity-type":"item","numeric-id":2372431,"id":"Q2372431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861677$2CC99DA1-07E6-48F5-AC4E-BC6951CD22F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Self-verifying predicates in B\u00fcchi arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Self-verifying_predicates_in_B%C3%BCchi_arithmetic"}}}}}