{"entities":{"Q3741087":{"pageid":5770993,"ns":120,"title":"Item:Q3741087","lastrevid":50929307,"modified":"2026-01-15T19:26:00Z","type":"item","id":"Q3741087","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3976378"}},"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":"Q3741087$AE3C69DE-AF6C-4B16-9BAA-E8B01EC081B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ed93ab826d29e3075b4a7f5fd41e1f1eb9691d6","datavalue":{"value":"0604.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3741087$FD56C2B4-0983-4E32-918B-883F11113E41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33eb5c8b0f3c3997961a1ddf125cc072182be129","datavalue":{"value":{"entity-type":"item","numeric-id":584933,"id":"Q584933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3741087$E9B3D250-E32C-4A39-9C1B-2A0BA4114B4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3741087$78B9F254-3CE6-46A4-A08F-7FF99300F9A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3741087$81BF1479-A09F-4C47-A5D1-26FDE0396933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3741087$72D24806-69E3-488E-B775-A92B18E7A373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3741087$EBF11130-C4E3-42DE-A116-7A851B2E2C2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdcb73dd12b151eb437c95843da7082524ef9e7e","datavalue":{"value":"3976378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3741087$158360B1-BAB7-4893-92B7-6DEE234B6055","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3741087$168BB889-926C-4E56-8642-E2CA9A7AC772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3741087$5B0BA693-F569-4859-9881-1617BD04D3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d9587d78d4c4041b2992962982b2f619dda458c","datavalue":{"value":"pattern replacing automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3741087$B4724863-75DF-406F-BED9-0835655985AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1a2bad4593dfa53b9bdf6d73901a5fbf0b67c8a","datavalue":{"value":"tree languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3741087$939783BC-6887-4419-95FD-DCD6DFD6C127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba1c7451bd7ab1dfd0ce4f949f1475e30ef94d25","datavalue":{"value":"minimal Herbrand models of definite sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3741087$92CE97B0-4330-4494-B641-A96ACA2AE3F2","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":"Q3741087$D86E16BF-3D01-4FFE-BA39-212C8C3692B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd9e8cbbf056cc553cd7895a81757aabebdcf65e","datavalue":{"value":{"entity-type":"item","numeric-id":3774921,"id":"Q3774921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1990ae4d51472befa8e16b62adbe4ea7a883f2db","datavalue":{"value":{"amount":"+0.7986785769462585","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":"Q3741087$4CA9AD29-03D4-4C3B-A602-5409C04BF24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3fd5b9428454c2b32c87417a5412fa87c8715ee","datavalue":{"value":{"entity-type":"item","numeric-id":3975149,"id":"Q3975149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71ce4e08bb732ebba955918b92a0c48d799893c8","datavalue":{"value":{"amount":"+0.7520051598548889","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":"Q3741087$6C46057B-1EAE-4634-8D69-B5977254CD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceca8144f729f572f896f0b4f8e4a175f7c49b7d","datavalue":{"value":{"entity-type":"item","numeric-id":4497404,"id":"Q4497404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71ce4e08bb732ebba955918b92a0c48d799893c8","datavalue":{"value":{"amount":"+0.7520051598548889","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":"Q3741087$EE6815D7-31F5-48C3-9B72-AE09202FD69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04a0bd2b0f55e76eff8f80379c1ae1ab36d82fb2","datavalue":{"value":{"entity-type":"item","numeric-id":3221429,"id":"Q3221429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f416003ab91423f83435ce81dd52b62fcdcf1fb6","datavalue":{"value":{"amount":"+0.751166582107544","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":"Q3741087$4D3C3703-0385-4F02-9E25-635BC93507F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"810f94063fa2a96aae4c53e77dbdb3695af494c6","datavalue":{"value":{"entity-type":"item","numeric-id":582913,"id":"Q582913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2130e0e6d5246de4616748aba8eb722a23d371d0","datavalue":{"value":{"amount":"+0.7501957416534424","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":"Q3741087$8F88FCED-FAAF-4D53-87C3-8D409FC36265","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3741087","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3741087"}}}}}