{"entities":{"Q4376047":{"pageid":6405646,"ns":120,"title":"Item:Q4376047","lastrevid":46997775,"modified":"2025-12-26T00:41:29Z","type":"item","id":"Q4376047","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1114332"}},"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":"Q4376047$9EA31134-3C4D-4B11-93FD-D4F6F419EF7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0904f210776544a246aa57059be1b6ebac02a3a","datavalue":{"value":"0888.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376047$EBEF3244-3410-4B2D-A517-6292EAC876A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5195a1f95fca8506cea14328b909368960a3ad5","datavalue":{"value":{"entity-type":"item","numeric-id":266209,"id":"Q266209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4376047$CD9CEEF9-1074-405F-84F4-5E42C2B9A067","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0945be59467e332804dbbfa87487f2b5f7412c0b","datavalue":{"value":{"time":"+1998-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4376047$91A0702F-EAB3-469D-94EF-F778568FCAB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376047$F330EB25-AC29-42A0-BC35-D1AFF3BB8A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376047$52A5C0E7-B8EA-4341-A2A1-7F7D1DFE72A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376047$F4BCA248-38A5-4D21-B5CD-897FAA72B303","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a10d4cae2fbf72bc230a9d494559454983ba4e2","datavalue":{"value":"1114332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376047$5E653184-4827-4A8B-9E40-FBBE4CAB1C60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33cc1134d7ab20084cb1841cc4ea87df549dd304","datavalue":{"value":"Horn fragment of linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376047$BDB8B268-18E1-422A-B558-2EFDC5240DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1281d2dadf88e5ed1ed883574ff9a32aa4512ba3","datavalue":{"value":"complexity of the provability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376047$6DC7A9D6-2CC7-47AA-919D-2018EFD0A85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b1fb30904a398d4899f2736a837470322c8b85c","datavalue":{"value":"problem of concurrency recognition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376047$B8387A41-5250-4BE5-9495-15EB27ED740E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b65c9c6169d9b1e7575b65fd1f0a942ad6e6ab5","datavalue":{"value":"hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376047$6EB555F3-2919-4335-A995-BF7C12BCFC63","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":"Q4376047$00E42A3E-B85C-4068-9323-9294F0F69816","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37c3a1c40892af988d8de1aed3768a2ad6c3b606","datavalue":{"value":{"entity-type":"item","numeric-id":4501132,"id":"Q4501132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c29fdb937fb3967e15f4e8a6f029943b047cb254","datavalue":{"value":{"amount":"+0.8945719599723816","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":"Q4376047$0FF78126-1935-494B-BA44-709D836CAA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d96604730de5cece1c4fb1df83b2af00472c9d","datavalue":{"value":{"entity-type":"item","numeric-id":1337693,"id":"Q1337693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02f480174f324a6362030c4b0a6050653f4f407e","datavalue":{"value":{"amount":"+0.8288429379463196","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":"Q4376047$5BD6A0DF-09A3-4C2C-B189-15B2AE1552DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67c7d845ea924732a87d2f1d2a1d25c95a8028e","datavalue":{"value":{"entity-type":"item","numeric-id":1326780,"id":"Q1326780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb0988bb81f52bb7d06f2230307de3abd56c611","datavalue":{"value":{"amount":"+0.7836065888404846","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":"Q4376047$1A404727-2BF4-4266-9673-87C088DF3A5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4376047","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4376047"}}}}}