{"entities":{"Q4028345":{"pageid":6058099,"ns":120,"title":"Item:Q4028345","lastrevid":55215421,"modified":"2026-02-04T22:09:01Z","type":"item","id":"Q4028345","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 139986"}},"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":"Q4028345$4F56E3C7-4B97-4CB7-8325-43A994C6B61C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98a58bb5edf5f24838897fd2ae1de3cc7beaf603","datavalue":{"value":"0768.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028345$6BE482B5-0370-4276-8426-6A422F56D24F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66eb2ea2330f37bfa45aac8fc506557c2f5de33c","datavalue":{"value":{"entity-type":"item","numeric-id":665768,"id":"Q665768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028345$8F41C53D-0A6B-4B03-AC3A-FFEBC5D53381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6b7374f2a36b6f31d25661dc144b6ff92094e72","datavalue":{"value":{"entity-type":"item","numeric-id":243840,"id":"Q243840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028345$912BDD6C-CC9D-4001-BA78-7F687286C045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4e73a6f6ccb7e8687faa022e777bcbb77b1f201","datavalue":{"value":{"entity-type":"item","numeric-id":353353,"id":"Q353353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028345$E60E3443-C692-497D-9ED8-D4A589E56CC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e126f0a627a644e456ce20a058877c46ad749c68","datavalue":{"value":{"time":"+1993-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4028345$8CB5D838-E757-4654-951E-78E351F7D753","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028345$D22EC650-185C-42C0-8F99-0B6766909F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028345$A515C703-C9D0-4702-82CF-261E346375D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028345$37F98A1B-1F5A-4E09-8011-1A6130580A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"88f26c5e5c8e9b1a1b9fcd1e726cfac3efaf2593","datavalue":{"value":"08A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028345$DEA18EE1-4524-4675-B6A8-29A845B3F89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028345$C14CBF96-FEFE-459C-AEA9-861CCF6CE8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028345$7425ECD0-86DB-48B0-A15A-9DB832B35FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a81ca5b8726a2034b277ccf6907b245cba0e29b4","datavalue":{"value":"08C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028345$2F5B0940-7B45-4A18-BC45-FB408A301A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028345$851B4054-DAAA-479F-999D-7829570D2DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028345$0D99EC14-2B19-4F3C-9E6B-07C1FDA62374","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"634005bfba6dbd5ccdf06ae97929720f9b6a51a0","datavalue":{"value":"139986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028345$1DCC0C66-5E5C-406B-9C3D-FBFE8D126B4A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"712ec468e2fbff3d672a01c480630a402352fc1e","datavalue":{"value":"reasoning with equations and type assignments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028345$83887CF8-AB42-4CF4-89E4-5BFC7239A83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41e5bceac265defc25110178217a506fba56e2a1","datavalue":{"value":"extensions of equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028345$7D1E8D63-A3E6-4780-86D6-6757DE1DC7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cecad6b8931abbee098b429e7712c4167364f1dc","datavalue":{"value":"equational order-sorted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028345$52ECD053-4BD1-4769-95F0-309E4B0BDB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d546fccee40e4efc6303e1dce24d2f6896ecdb4a","datavalue":{"value":"logics of partial algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028345$7086B80C-90CA-4458-844C-E8D9C7C2E3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d13f08ea42d1f01b6d2fdb3ad6bdab4e478fcad2","datavalue":{"value":"Horn clausal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028345$23342C0D-6378-433F-934A-EA4BE13A5659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b2c499e67b312386e301b95601ae53db3f59912","datavalue":{"value":"equational type logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028345$71310893-9B70-46BC-A307-DC5BC77725E6","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":"Q4028345$D2E62E6E-75C1-4B3F-AD1D-26DEBDE99D06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4424c639e43965ee40eae97bba9bb67c453c4691","datavalue":{"value":{"entity-type":"item","numeric-id":752689,"id":"Q752689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2158aca4b72cf4394e09e8827940d7719a857f0e","datavalue":{"value":{"amount":"+0.8791347146034241","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":"Q4028345$EF77D845-784F-45CF-9231-37E99900B9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3c5fa3ecbfa560b0d437ad2252be9d5bdba3617","datavalue":{"value":{"entity-type":"item","numeric-id":5096381,"id":"Q5096381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e10b021b30a16bffb82e774257aeb12b554ab33","datavalue":{"value":{"amount":"+0.772743284702301","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":"Q4028345$53B458BF-9637-4475-B3FA-10CA7AB26C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e94f076c24613935a2021c8bd5dde0d2cdbc0d5","datavalue":{"value":{"entity-type":"item","numeric-id":3975158,"id":"Q3975158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6fb89dede39d4639b3bf53c8de09ab81c6530e9","datavalue":{"value":{"amount":"+0.7578546404838562","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":"Q4028345$BB2AB8A8-AA15-4865-955B-14527C6B93F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec262579e50d6fc03f605cc19d7d0b2ff969d822","datavalue":{"value":{"entity-type":"item","numeric-id":4645808,"id":"Q4645808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0406679742400aa583c3ae699dc056410913cc9b","datavalue":{"value":{"amount":"+0.757854163646698","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":"Q4028345$5E443EAA-EB29-43D0-A214-3BB9CD55BBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45e0626ad621832850e5d217bae1fe537e13df7a","datavalue":{"value":{"entity-type":"item","numeric-id":3835445,"id":"Q3835445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a2b4f28f702a314a591d8741555a19dc221a000","datavalue":{"value":{"amount":"+0.7314892411231995","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":"Q4028345$DFF4BCBB-DE91-482F-B26A-EA435BBE7D41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4028345","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4028345"}}}}}